sS assertCereprocVoice(S voice) {
  if (!isCereprocVoice(voice))
    fail(voice + " is not a known voice");
  ret voice;
}