Didn't Knuth write TeX in a variant of Pascal?