[    5.418914] packetdrill (221) used greatest stack depth: 12776 bytes left