#include <hwo/threads.h>
void thread_starter(void)
{
if (current_thread()->start)
current_thread()->start( current_thread()->arg );
thread_kill(current_thread());
while (1)
yield();
};