static CleanExit cleanExit(S msg) {
  throw new CleanExit(msg);
}

static CleanExit cleanExit() {
  throw new CleanExit;
}