aligned_alloc() made it into C11, and thus std::aligned_alloc() is in C++17. Frustratingly, it still isn't available everywhere (e.g. on Android, even when compiling with C++17, you must use SDK level 28 or newer I think, or something like that), but especially if we implement #7159, this should be an option for most modern systems.