# TODO: see 'get_from_git.sh'.
git clone git@github.com:pencil-language/pencil-benchmark pencil-benchmark