void free(void *);
#define FREE_POINTER(x) free(x)