user_debug_thread_exiting
void user_debug_thread_exiting(Thread* thread);
user_debug_thread_exiting(thread);