#include <u.h>#include <libc.h>#include <thread.h> voidthreadmain(int argc, char **argv){	print("hello, world\n");}