#define _BSD_SOURCE #include <stdlib.h> #include <limits.h> void *valloc(size_t size) { return memalign(PAGE_SIZE, size); }