i32 <= score(1)
