sthread_t
ctx->ctx_id = (sthread_t) sthread_get_id();
sthread_t ctx_id; /* thread id */
sthread_t thread_id;
sthread_t tid;
sthread_t tid;
tid = (sthread_t) sthread_get_id();
sthread_t tid;
sthread_t tid; \
sthread_t tid;
Tskmgr.tm_tid = (sthread_t) -1;
sthread_t tm_tid; /* thread id of controller */
sthread_t t_id;