class Failure extends Exception {
  Failure (String s) {
    super(s);
  }
}