@c Exit from a thread
Exit from a thread created by @xref{CreateThread}. The implementation is simple and does not allow any return value from the thread.
void thread_ExitThread( ){