It is platform/architecture specific, but I need this assumption for the code to work.

If this assert ever fails, I'd really like to hear about it. Ideally we should be using posix_memalign... but that's an issue for #13094.