void system_goal()
{
	/* <system goal>		-> <program> SCANEOF #finish */
	program();
	match(SCANEOF);
	finish();
}