public static void cppOutputDefprint(Cons defprint) {
    Cons.cppOutputDefprintSignature(defprint);
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(" {");
    Stella.cppBumpIndent();
    { Object old$OutputtingdefprintP$000 = Stella.$OUTPUTTINGDEFPRINTp$.get();

      try {
        Native.setBooleanSpecial(Stella.$OUTPUTTINGDEFPRINTp$, true);
        Stella_Object.cppOutputStatement(defprint.rest.value);

      } finally {
        Stella.$OUTPUTTINGDEFPRINTp$.set(old$OutputtingdefprintP$000);
      }
    }
    Stella.cppUnbumpIndent();
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("}");
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println();
  }