public void writeByteArray(byte[] bytes)
                      throws IOException {
    if (trace == API_TRACE_DETAILED) {
      Log.current.println("writeByteArray = \"" + bytes + "\"");
    }

    write(CFASL_BYTE_VECTOR);
    writeInt(bytes.length);
    write(bytes);
  }