type(1 >= i32)
