#ifndef MGUI_ALLOC_H
#define MGUI_ALLOC_H

#include <stddef.h>

void* mgui_alloc(size_t size);
void* mgui_realloc(void *mem, size_t new_size);
void mgui_free(void *mem);

#endif /* MGUI_ALLOC_H */