/* This can't simply be named posix_memalign, since the real thing uses
free(), but this one can't. */
int aligned_malloc(void **ptr, unsigned alignment, size_t size);
void aligned_free(void *);
/* This can't simply be named posix_memalign, since the real thing uses
free(), but this one can't. */
int aligned_malloc(void **ptr, unsigned alignment, size_t size);
void aligned_free(void *);