type(max(i32, i64))
