The text deadd856f26f, as Debian 4.0 (Etch) shipped it.
command-processing loop of the menu system
menu_driver(3menu) on Linux now
