The text 127fdeefebb2, as Debian 2.2 (Potato) shipped it.
set and get menu sizes
format(3menu) on Linux now
