EMLXS_THREAD_KILLED
tthread->flags |= EMLXS_THREAD_KILLED;
if (!(ethread->flags & EMLXS_THREAD_KILLED)) {
while (!(ethread->flags & EMLXS_THREAD_KILLED)) {
ethread->flags |= (EMLXS_THREAD_KILLED | EMLXS_THREAD_TRIGGERED);
while (!(tthread->flags & EMLXS_THREAD_KILLED)) {
ethread->flags |= EMLXS_THREAD_KILLED;