/* Print instructional text to help user execute the menu.  */
static void menu_print_footer(const char *indent, const menu_t *menu)
/* Print instructional text to help user execute the menu.  */
static void menu_print_footer(const char *indent, const menu_t *menu)
{
    if (menu->footer)
        printf("\n%s%s\n", indent, menu->footer);
    else
        printf("\n");
}