#include <alloc.h>

extern inline void calt_free(void *ptr);