from "field" import FIELD_SIZE_IN_BITS;

// 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) -> bool {
    u32 pbits = FIELD_SIZE_IN_BITS;
    field maxvalue = 2**(pbits - 2) - 1;
    return 0 < maxvalue;
}