#pragma once
#include <stddef.h>

#ifndef NO_MALLOC_H
#include <user/lib/vendor/dlmalloc/malloc.h>
#endif

_Noreturn void abort(void);