Following some uncertainty about what 241 covers exactly, make it non-fatal
Following some uncertainty about what 241 covers exactly, make it non-fatal

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