[   83.941855] packetdrill (2873) used greatest stack depth: 12840 bytes left