Machine-independent part of teTeX