Hack boxed xcomments so they're easier for a mechanical translator to recognize.