main()
{
	int foobarbyfar, foobarbyfar2;

	foobarbyfar = 6;
	foobarbyfar2 = 12;
	printf("foobarbyfar=%d, foobarbyfar=%d, should be 6, 12\n",
		foobarbyfar, foobarbyfar2);
}