char * foo() { return "\\begin{"; }