#include "TLSF-1.3/rtl_malloc.h"

void *malloc (unsigned int size) {
  return (void *)rtl_malloc (size);
}

void free (void *ptr) {
  rtl_free (ptr);
}

void *realloc (void *ptr, size_t size) {
  return (void *) rtl_realloc (ptr, size);
}