[   98.565891] packetdrill (3642) used greatest stack depth: 12536 bytes left