#include #include void *memalign(size_t, size_t) { __ensure(!"Not implemented"); __builtin_unreachable(); }