#define _BSD_SOURCE
#include <stdlib.h>
#include "libc.h"

void *valloc(size_t size)
{
	return memalign(PAGE_SIZE, size);
}


#ifdef TEST
int
main(void) {
	return 0;
}
#endif