[  714.999871][ T4192] packetdrill (4192) used greatest stack depth: 24984 bytes left