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