public static void cppOutputDefprintSignature(Cons defprint) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("std::ostream& operator << (std::ostream& stream, ");
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(defprint.value)).wrapperValue);
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(" self)");
  }