void finish(void)
{
	/* Generate code to finish program. */
	generate("Halt", "", "", "");
}