function main(a: field, b: field) -> bool { return a > b }