eta-expand definitions so that they get extracted to functions and defined in the text section of the library
eta-expand definitions so that they get extracted to functions and defined in the text section of the library

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