[  438.794841][ T3857] packetdrill (3857) used greatest stack depth: 24016 bytes left