let
default_grade = ref (-1.)