[   18.212185] packetdrill (379) used greatest stack depth: 12952 bytes left