extern unsigned int get_thread_id       ();
extern void         set_thread_id       (unsigned int);
extern unsigned int get_thread_priority ();
extern void         set_thread_priority (unsigned int);