[  397.700723][ T3851] packetdrill (3851) used greatest stack depth: 23624 bytes left