[   81.900940] packetdrill (2694) used greatest stack depth: 12664 bytes left