public static void cppOutputFunction(Cons function) {
    { Stella_Object body = function.fourth();
      Cons basemembers = ((Cons)(function.fifth()));

      Cons.cppOutputFunctionSignature(function);
      if (basemembers != null) {
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(" : ");
        { Stella_Object member = null;
          Cons iter000 = basemembers;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            member = iter000.value;
            Stella_Object.cppOutputStatement(member);
          }
        }
      }
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println(" {");
      Stella.cppBumpIndent();
      Stella_Object.cppOutputStatement(body);
      Stella.cppUnbumpIndent();
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("}");
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println();
    }
  }