class BadName : public std::exception {
public:
  const char* what() {
    return "BadName";
  }
};