[  509.004561][ T5545] packetdrill (5545) used greatest stack depth: 23032 bytes left