Parsing the Common Lisp TeX sources