The text 9e5a76d41c6e, as Debian 10 (Buster) shipped it.
set and get menu item values
menu_value(3menu) on Linux now
