type(i32 < i)
