seeMan
(void) atexit(seeMan);
(void) atexit(seeMan);
(void) atexit(seeMan);
(void) atexit(seeMan);
(void) atexit(seeMan);
extern void seeMan(void);
(void) atexit(seeMan);