Compiler driver for the K3 language