#include void free_sized (void *p, size_t size) { free(p); }