i32 < min(1, i32)
