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

    write(CFASL_CHARACTER);
    write(v);
  }