Reduce allocations in hashconsing hash function#504

filipeom merged 1 commit intomainformalsec/smtml:mainfrom

filipe/reduce-allocs-hcformalsec/smtml:filipe/reduce-allocs-hcCopy head branch name to clipboard