static class CleanExit extends RuntimeException {
  *() {}
  *(S msg) { super(msg); }
}