#ifndef _DEF_STDLIB_H
#define _DEF_STDLIB_H

#define NULL 0

//includes malloc/free
#include <gc/mem.h>

void printk_int(int number);
void printk_hex(unsigned number);

#endif