*** waiting for end of table, found @end menu (l. 9)
*** closing `table' (l. 9)
*** waiting for end of table, found @end menu (l. 20)
*** closing `table' (l. 20)
*** waiting for end of definition command, found @end menu (l. 26)
*** closing `deffn' (l. 26)
*** closing `menu' (l. 32)
*** closing `menu' (l. 32)
*** Too many menu closed (l. 32)
*** closing `menu' (l. 32)
*** Too many menu closed (l. 32)
