Maybe systhread.h should have a function

extern sys_thread_t sys_thread_self ();