// private external C library with one function
#include <stdlib.h>
void crt_free(void*p) {
    free(p);
}