Experimental: stashing some Magma/F* code for FourQ
Experimental: stashing some Magma/F* code for FourQ

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