[  610.512988][ T4036] packetdrill (4036) used greatest stack depth: 24040 bytes left