/* builder.cc 18/06/98 17.34.52 */
/* menus.cc 18/06/98 17.37.16 */
PUBLIC MENU_ENTRY::MENU_ENTRY (void);
PUBLIC int MENU_ENTRY::edit (void);
PUBLIC MENU_ENTRY *MENU_ENTRIES::getitem (int no)const;
PUBLIC int MENU_ENTRIES::edit (void);
/* stub.cc 31/05/98 14.24.28 */
