[   17.102465] packetdrill (381) used greatest stack depth: 12920 bytes left