# 1 "<stdin>"




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