[   97.585724] packetdrill (3637) used greatest stack depth: 12744 bytes left