Hi, interesting finding, Are not all these found "underflows" issues false-positive? Because all of them are under `while(!TOO_SMALL_LITTLE_BLOCK(len))` block which guarantees no underflow of "len" variable Regards, Alexey