\relax 
\@writefile{lot}{\string\contentsline\space {table}{\string\numberline\space {1}{\ignorespaces CCL extensions to the {\string\ptt\space awk} language}}{400}}