thread_id_t get_id() const;
thrd_t get_thrd_t() const { return *user_thread; }
Thread * get_parent() const { return parent; }
thread_id_t get_id() const;
thrd_t get_thrd_t() const { return *user_thread; }
Thread * get_parent() const { return parent; }