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