msprotz Merge pull request #847 from hacl-star/protz_hints_and_dist