public void writeBoolean(boolean v)
                    throws IOException {
    if (trace == API_TRACE_DETAILED) {
      Log.current.println("writeBoolean = " + v);
    }

    if (v) {
      writeSymbol(CycObjectFactory.t);
    }
    else {
      writeSymbol(CycObjectFactory.nil);
    }
  }