static void main(void)
{
	do {
	} while(0);
}