MAXEXTRACTBYTES
uchar_t tbuf[MAXEXTRACTBYTES];
ASSERT(len <= MAXEXTRACTBYTES);
len = MAXEXTRACTBYTES;