#ifndef WH_MAIN_H_7415477e_ #define WH_MAIN_H_7415477e_ /* * Calls to this would be just exit() except for the need to clean up * curses and tty state. */ extern void die(int) __attribute__((__noreturn__)); #endif