#include <u.h>
#include <syscall/syscall.h>

void
_main(void)
{
	linuxwrite(1, "hello world\n", 12);
	linuxexit(0);
}