type(i32 >= i)
