[  116.745659] packetdrill (3425) used greatest stack depth: 12632 bytes left