(executables
 (names stdprobe fuelprobe freeze corpusgen golden)
 (modules stdprobe fuelprobe freeze corpusgen golden stddefs)
 (libraries tuna tuna_interp tuna_compiler))
