[   98.383950] packetdrill (3639) used greatest stack depth: 12632 bytes left