protected void doTestCycAccess12(CycAccess cycAccess) {
    long startMilliseconds = System.currentTimeMillis();

    try {
      //cycAccess.traceOn();

      String utf8String = "ABCdef";
      assertEquals(utf8String,
              cycAccess.converseString("(identity \"" + utf8String + "\")"));

      InputStreamReader inputStreamReader = null;

      try {
        inputStreamReader = new InputStreamReader(new FileInputStream(
                new File("utf8-sample.html")),
                "UTF-8");
      } catch (IOException e) {
        return;
      }

      StringBuffer utf8StringBuffer = new StringBuffer();

      while (true) {
        int ch = inputStreamReader.read();

        if (ch == -1) {
          break;
        }

        if ((ch == '\n') || (ch == '\r')) {
          utf8StringBuffer.append(' ');
        } else {
          utf8StringBuffer.append((char) ch);
        }
      }

      utf8String = utf8StringBuffer.toString();

      PrintWriter utf8Output = new PrintWriter(new OutputStreamWriter(
              new FileOutputStream("utf8-sample-without-newlines.html"), "UTF8"));
      utf8Output.print(utf8String);
      utf8Output.close();

      CycList command = new CycList();
      command.add(makeCycSymbol("identity"));
      command.add(utf8String);

      String echoUtf8Sting = cycAccess.converseString(command);

      utf8Output = new PrintWriter(new OutputStreamWriter(
              new FileOutputStream("utf8-sample-from-cyc.html"), "UTF8"));
      utf8Output.print(utf8String);
      utf8Output.close();

      System.out.println("utf8String\n" + utf8String);
      System.out.println("echoUtf8Sting\n" + echoUtf8Sting);
      assertEquals(utf8String,
              echoUtf8Sting);

      CycFort myTerm = cycAccess.getConstantByName("my-term");

      if (myTerm != null) {
        cycAccess.kill(myTerm);
      }

      myTerm = cycAccess.findOrCreate("my-term");
      cycAccess.assertComment(myTerm, utf8String, baseKB);
    } catch (Throwable e) {
      e.printStackTrace();
      fail(e.toString());
    }
  }