babylon

if os.path.exists('/private/tmp/corehist.txt'):
  with open('/private/tmp/corehist.txt', 'r') as f:
    int_from_file = int(f.readline())
    if my_int != int_from_file:
      f.seek(0)
      f.writeline(new_int_value)
else:
  with open('/private/tmp/corehist.txt', 'w+') as f:
    f.write(42)