[   84.206639] packetdrill (2800) used greatest stack depth: 12760 bytes left