[   26.371473] packetdrill (374) used greatest stack depth: 12904 bytes left