Some code that compiles but segfaults... should serve as a starting point
Some code that compiles but segfaults... should serve as a starting point

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