void system_goal(void)
{
        /* <system goal> ::= <program> SCANEOF */

        program();
        match(SCANEOF);
       finish();
}