[   17.156597] packetdrill (377) used greatest stack depth: 12920 bytes left