#include <9pm/u.h>
#include <9pm/libc.h>
#include <9pm/thread.h>

void
threadmain(int argc, char **argv)
{
	threadprint(1, "hello world\n");
}