// we can compare numbers up to 2^(pbits - 2) - 1, ie any number which fits in (pbits - 2) bits
// lt should work for the maxvalue = 2^(pbits - 2) - 1

def main(field a) -> (field):
  field pbits = 254
  // maxvalue = 2**252 - 1
  field maxvalue = 7237005577332262213973186563042994240829374041602535252466099000494570602496 - 1
  return if 0 < maxvalue then 1 else 0 fi