let
goals = ref ([]: goals_type list)