
# 1 "<stdin>"




char p[] = "x ## y";	 
			 
