Bug report

Bug description:

The recent HACL* change in Python 3.14.0a2 cause local build breakage on macOS below Catalina due to lack of support for aligned_alloc (also memset_s on older macOS <10.9).

Fixes for the affected dependency have already been submitted to the repositories:

• Use _mm_malloc() for KRML_ALIGNED_MALLOC on macOS <10.15 FStarLang/karamel#504
• Lib_Memzero0.c: don't use memset_s() on macOS <10.9 hacl-star/hacl-star#1012

CPython versions tested on:

3.14

Operating systems tested on:

macOS

Linked PRs

• gh-127897: fix HACL* build on macOS/Catalina #127932