extern void brokenPipe(int sig); extern void endChild(int sig); extern void rmViewMgr(viewManager * slotPtr); extern void closeChildViewport(viewManager * slotPtr); extern void goodbye(int sig);