type(i32 <= i32)
