#include <stdio.h>

#include "asio.h"

void print_int(int value)
{
	printf("%d", value);
}

void println_int(int value)
{
	printf("%d\n", value);
}

void print_string(char * value)
{
	printf("%s", value);
}

void as_exit(int code)
{
	exit(code);
}