[   76.157866] packetdrill (2343) used greatest stack depth: 12760 bytes left