[  131.476030][  T831] packetdrill (831) used greatest stack depth: 23960 bytes left