Path	Lines of Code
SAW/proof/AES/AES-GCM-check-entrypoint.go	33