[   31.512039] packetdrill (583) used greatest stack depth: 12760 bytes left