[   61.682706] packetdrill (1522) used greatest stack depth: 12760 bytes left