switch_to_old_console Declarationvoid switch_to_old_console(int old_console);void switch_to_old_console(int);