The text fd44bbd2f530, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.
set and get menu sizes
menu_format(3menu) on Linux now
