The text d8720470c8f7, as Debian 3.1 (Sarge) shipped it.
command-processing loop of the menu system
menu_driver(3menu) on Linux now
