// this should cost 1000 for input constraint, and then 1 per chunk of 253 booleans (for bn128), so here 4
// total 1004

const u32 SIZE = 1000;

def main(bool[SIZE] a) {
   assert(a == [true; SIZE]);
}