public static void cppOutputProgn(Cons progn) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("{");
    Stella.cppBumpIndent();
    Stella_Object.cppOutputStatement(progn);
    Stella.cppUnbumpIndent();
    Stella.cppIndent();
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("}");
  }