public static void cppOutputCatch(Cons tree) {
    { Cons variabledecl = ((Cons)(tree.value));

      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("catch (");
      Stella_Object.cppOutputStatement(variabledecl.value);
      if (variabledecl.rest.value != null) {
        Stella_Object.cppOutputStatement(variabledecl.rest.value);
      }
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(") {");
      Stella.cppBumpIndent();
      Cons.cppOutputStatements(Cons.cppFlattenStatements(tree.rest));
      Stella.cppUnbumpIndent();
      Stella.cppIndent();
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("}");
    }
  }