The text 613a04ddf664, as Debian 4.0 (Etch) shipped it.
set and get current_menu_item
menu_current(3menu) on Linux now
