public void writeCompleteConstant(CycConstant cycConstant)
                     throws IOException {
    if (trace == API_TRACE_DETAILED) {
      Log.current.println("writeCompleteConstant = " + cycConstant.toString());
    }

    write(CFASL_EXTERNALIZATION);
    write(CFASL_COMPLETE_CONSTANT);
    writeGuid(cycConstant.getGuid());
    writeString(cycConstant.getName());
  }