void main()
{
    int x = 1234;

    while (1) {
	x++;
	printf("hello %i\n", x);
    }
}