[  122.611329][  T763] packetdrill (763) used greatest stack depth: 24048 bytes left