public static void cppOutputDefinitions(Keyword accesscontrolmode, Cons definitions) {
    Stella.cppIndent();
    if (accesscontrolmode == Stella.KWD_PUBLIC) {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("public:");
    }
    else if (accesscontrolmode == Stella.KWD_PRIVATE) {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("private:");
    }
    else if (accesscontrolmode == Stella.KWD_PROTECTED) {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("protected:");
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + accesscontrolmode + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
    if (accesscontrolmode != null) {
      Stella.cppBumpIndent();
    }
    { Stella_Object definition = null;
      Cons iter000 = definitions;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        definition = iter000.value;
        Stella.cppIndent();
        Stella_Object.cppOutputStatement(definition);
      }
    }
    if (accesscontrolmode != null) {
      Stella.cppUnbumpIndent();
    }
  }