i32 < max(1)
