[  415.303754][ T3574] packetdrill (3574) used greatest stack depth: 24432 bytes left