public static String vizDotString(String name) {
    { StringBuffer buffer = Stella.makeRawMutableString(name.length() * 2);
      int i = -1;
      boolean solP = false;

      { char renamed_Char = Stella.NULL_CHARACTER;
        String vector000 = name;
        int index000 = 0;
        int length000 = vector000.length();

        for (;index000 < length000; index000 = index000 + 1) {
          renamed_Char = vector000.charAt(index000);
          switch (renamed_Char) {
            case ' ':
              if (solP) {
                edu.isi.stella.javalib.Native.mutableString_nthSetter(buffer, '.', (i = i + 1));
              }
              else {
                edu.isi.stella.javalib.Native.mutableString_nthSetter(buffer, renamed_Char, (i = i + 1));
              }
            break;
            case '\n':
            case '\r':
              edu.isi.stella.javalib.Native.mutableString_nthSetter(buffer, '\\', (i = i + 1));
              edu.isi.stella.javalib.Native.mutableString_nthSetter(buffer, 'l', (i = i + 1));
              solP = true;
            break;
            case '"':
            case '{':
            case '}':
            case '|':
            case '<':
            case '>':
            case '\\':
              edu.isi.stella.javalib.Native.mutableString_nthSetter(buffer, '\\', (i = i + 1));
              edu.isi.stella.javalib.Native.mutableString_nthSetter(buffer, renamed_Char, (i = i + 1));
              solP = false;
            break;
            default:
              edu.isi.stella.javalib.Native.mutableString_nthSetter(buffer, renamed_Char, (i = i + 1));
              solP = false;
            break;
          }
        }
      }
      return (Native.mutableString_subsequence(buffer, 0, i + 1));
    }
  }