The text 133a33919f21, as Debian 2.2 (Potato) shipped it.
destroys the specified menu.
glutDestroyMenu(3xglut) on Linux now
