[  503.966531][ T5637] packetdrill (5637) used greatest stack depth: 23896 bytes left