[  122.898334][  T763] packetdrill (763) used greatest stack depth: 23840 bytes left