# 1 "<stdin>" char p[] = "x ## y";