
# 1 "<command line>"

# 1 "<stdin>"




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