+ void remove_thread(Thread *t);
+ void sleep(Thread *t);
+ void wake(Thread *t);
+ Thread * next_thread(Thread *t);
+ Thread * get_current_thread() const;
+ void print() const;
+ enabled_type_t * get_enabled() { return enabled; };
+ bool is_enabled(Thread *t) const;
+
+ SNAPSHOTALLOC