| #pragma once | |
| #include <stdint.h> | |
| #include <stddef.h> | |
| /* Platform specific definitions */ | |
| // Must return an address aligned to 8 bytes | |
| void *malloc_aligned (size_t size); | |
| void *realloc_aligned (void *addr, size_t size); | |
| void free_aligned (void *addr); |