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