type(i32 >= 1)
