Path	Lines of Code
SAW/proof/HMAC/HMAC-check-entrypoint.go	16