type(i32 > i32)
