#include <picolibc.h>

#define DEFINE_MEMALIGN
#include "tiny-malloc.c"