#include <reent.h>
#include <malloc.h>
#include <osdebug.h>

void free(void * ptr) {
    DBGOUT("free(%p)\r\n", ptr);
    _free_r(_impure_ptr, ptr);
}