[   18.046823] packetdrill (380) used greatest stack depth: 12920 bytes left