int dummy_main()
{
	return 0;
}