[  415.817714][ T3574] packetdrill (3574) used greatest stack depth: 23968 bytes left