TSL2 compiler