// 32 constraints for input constraining
def main(u32 a) -> u32 {
    u32 mut res = 0x00000000;
    for u32 i in 0..10 {
	    res = res + a;
	}
    return res; // 42 constraints (decomposing on 42 bits)
}