/*
* Terminate the current thread.
+ * The current thread should not be the thread that executed main().
+ * If it is, implementations may terminate the process rather than the
+ * thread.
* Never returns.
*/
void empth_exit(void);
*/
void empth_sleep(time_t until);
+/*
+ * Wait for some implementation-defined external shutdown signal.
+ * Return a non-negative number identifying the signal.
+ */
+int empth_wait_for_shutdown(void);
+
/*
* Create a semaphore.
* NAME is its name, it is used for debugging.