extern const char *signal_name (int signal);
extern void exec_command (const char *shell, const char *command,
int nice_level);
extern const char *signal_name (int signal);
extern void exec_command (const char *shell, const char *command,
int nice_level);