#include void thread_starter(void) { if (current_thread()->start) current_thread()->start( current_thread()->arg ); thread_kill(current_thread()); while (1) yield(); };