#include <stdlib.h>

void free_aligned_sized (void *p, size_t alignment, size_t size)
{
	free(p);
}