all(1 .. i32, ok)
