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