#include void free(void *ptr) { DisposePtr(ptr); }