[  101.402694] packetdrill (3962) used greatest stack depth: 12552 bytes left