The text 2c74f0c0945c, as Debian 2.1 (Slink) shipped it.
set and get current_menu_item
menu_current(3menu) on Linux now
