int dummy(void)
{
	return 4;
}