code: function qcertEval(inputConfig) {
  	console.log("qcertEval chosen");
  	var handler = function(result) {
  		console.log("Compiler returned");
  		console.log(result);
  		postMessage(result.eval);
  		console.log("reply message posted");
  
  		// Each spawned worker is designed to be used once
  		close();
  	}
  	qcertWhiskDispatch(inputConfig, handler);
  }
docs: qcert intermediate language evaluation