#include #include u32 sys_free(u32 ptr) { free((void *)ptr); return 0; }