[  315.382422] packetdrill (8913) used greatest stack depth: 12448 bytes left