public void writeKeyword(CycSymbol cycSymbol)
                    throws IOException {
    if (trace == API_TRACE_DETAILED) {
      Log.current.println("writeKeyword = " + cycSymbol);
    }

    write(CFASL_KEYWORD);
    writeString(cycSymbol.toCanonicalString());
  }