Over-allocate for IVs in order to support in-place reinitialization
Over-allocate for IVs in order to support in-place reinitialization

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