/*
 * This is a plain C hello using the kernel write call
 */
#include <unistd.h>

main()
{
	write(1, "hello, world!\n", 14);
}