Sources for machine-independent part of teTeX