[ 17.688055] packetdrill (383) used greatest stack depth: 12744 bytes left