TeX implementation translating WEB to C
