[   31.820939] packetdrill (582) used greatest stack depth: 12760 bytes left