[  116.079443][  T722] packetdrill (722) used greatest stack depth: 24208 bytes left