[  643.416344][ T7125] packetdrill (7125) used greatest stack depth: 23520 bytes left