/* -------------------------------------------------------------------------- */
OTHER_THREAD void signal_terminate(int signum)
/* -------------------------------------------------------------------------- */
OTHER_THREAD void signal_terminate(int signum)