type(i32 + i32)
