max(i32 + i32)
