#ifndef STDLIB_H
#define STDLIB_H

#include <stddef.h>

#include "memorymanagement.h"

char *itoa( int v, char *s, int base );

void __attribute__( (noreturn ) ) exit( int status );
void __attribute__( (noreturn ) ) abort( void );

void *malloc( size_t size );
void free( void *p );

void *aligned_alloc( size_t alignment, size_t size );

void __stdlib_set_memory_manager( memory_manager_t *memory_manager );

#endif // STDLIB_H