i32 >= score(1)
