[ 97.439532] packetdrill (3541) used greatest stack depth: 12536 bytes left