Path	Lines of Code
SAW/proof/common/utility.go	87