fuss over TEX program and encoding declarations