max(1) <= i32
