[  427.524568][ T4032] packetdrill (4032) used greatest stack depth: 23832 bytes left