#include <stdio.h>

void print_string( const char *s )
{
	printf("%s\n",s);
}

void print_integer( int i )
{
	printf("%d\n",i);
}

void print_boolean( int b )
{
	if(b) {
		printf("true");
	} else {
		printf("false");
	}
}

void print_character( char c )
{
	printf("%c",c);
}