[   95.321168] packetdrill (3282) used greatest stack depth: 12664 bytes left