
# 1 "<stdin>"
char cbuf[sizeof "'\\U12340'"];
