[  417.977941][ T3712] packetdrill (3712) used greatest stack depth: 23984 bytes left