Tomáš, vrchní kompilátor