} catch(...) {     // catch any exception not caught above!
    cout << "Got an exception of unknown type!\n";
  }