please include function kevin.

static void kevin_wait() ctex {
  kevin_synth.waitEngineState(Synthesizer.QUEUE_EMPTY);
}