public void writeNart(CycNart cycNart)
                 throws IOException {
    if (trace == API_TRACE_DETAILED) {
      Log.current.println("writeNart = " + cycNart.toString());
    }

    write(CFASL_EXTERNALIZATION);
    write(CFASL_NART);
    writeList(cycNart.toCycList());
  }