max(score(1), i64)
