x_session_close 31519 src/xterm.c x_session_close (); x_session_close 1998 src/xterm.h extern void x_session_close (void);