#include <stdlib.h>

int huj = 7;

int
main(void)
{
	int x;

	huj = 13;
#if 0
	*(int *)42 = (int)main;
	huj = 12;
	return (0);
#else
	abort();
#endif
}