type(i32 != 1)
