Implementing a Taxis compiler (1987)