public static void cppOutputClassHeadDeclarations(Cons classes) {
    if (!(classes == Stella.NIL)) {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("// Class headers:");
    }
    { Stella_Object renamed_Class = null;
      Cons iter000 = classes;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        renamed_Class = iter000.value;
        ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("class " + ((StringWrapper)(((Cons)(renamed_Class)).rest.value)).wrapperValue + ";");
      }
    }
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println();
  }