public static void string_idlOutputLiteral(String string) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("\"" + Stella.replaceSubstrings(Stella.replaceSubstrings(Stella.replaceSubstrings(Stella.replaceSubstrings(string, "\\\\", "\\"), "\\\"", Native.makeString(1, '"')), "\\n", Native.makeString(1, '\n')), "\\r", Native.makeString(1, '\r')) + "\"");
  }