In Vale calls to F* normalizer, use `% instead of string names
In Vale calls to F* normalizer, use `% instead of string names

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star