probably by adding the -> int annotation to run_goal_rule()?