public static void printStringReadably(String string, PrintableStringWriter stream) {
    if (string == null) {
      stream.print(Stella.SYM_STELLA_NULL_STRING);
    }
    else {
      {
        stream.print("\"");
        { int i = Stella.NULL_INTEGER;
          int iter000 = 0;
          int upperBound000 = string.length() - 1;

          for (;iter000 <= upperBound000; iter000 = iter000 + 1) {
            i = iter000;
            { char renamed_Char = string.charAt(i);

              if ((renamed_Char == '"') ||
                  (renamed_Char == '\\')) {
                stream.print("\\" + renamed_Char);
              }
              else {
                stream.print(renamed_Char);
              }
            }
          }
        }
        stream.print("\"");
      }
    }
  }