/* mgetty.cc 01/09/2000 18.02.50 */ /* _dict.cc 04/11/1998 21.16.22 */ /* medit.cc 09/03/1999 10.26.42 */ void mgetty_edit (void);