[  125.273980][  T762] packetdrill (762) used greatest stack depth: 23856 bytes left