#ifndef STDLIB
#define STDLIB
#include <stdint.h>

int abs(int i);
char* itox(uint32_t x);
#endif