[   98.801791] packetdrill (3742) used greatest stack depth: 12552 bytes left