[   16.876496] packetdrill (381) used greatest stack depth: 12904 bytes left