#ifndef STDLIB_H #define STDLIB_H #include "stddef.h" #include "memorymanagement.h" char *itoa( int v, char *s, int base ); void *malloc( size_t size ); void free( void *p ); void __stdlib_set_memory_manager( memory_manager_t *memory_manager ); #endif // STDLIB_H