let default_grade            = ref (-1.)