#include <stdlib.h>
void libxc_free(void *ptr) {
    free(ptr);
}