Triple compilation