not (i32 > 1)
