Architecture independent parts of the TeX formatting system