main()
{
	int j=1;
	float x=2;
	printf("%d %f\n",j,x);
	mmain();
}
