#include <stdio.h>


int
main (int argc, char *argv[])
{
	write (1, "hello\n", 6);

	exit (123);
}