Path	Lines of Code
SAW/proof/SHA512/SHA512-384-check-entrypoint.go	28