assert

assert (score >= 0) : "成績錯誤"  ;