not (i32 != 1)
