[   89.031285][  T711] packetdrill (711) used greatest stack depth: 23712 bytes left