/*
Tabs retained										*/

int main()
{
		/* Tabs
		are converted to spaces.													*/
	return 0;
}