/*
 * include files for C library of the host. Currently only tested
 * with glibc 2.31.
 */

#include <stdio.h>
#include <stdlib.h>

int putstring( char *s )
{
	printf( "%s", s );
	
	return 0;
}

int putint( int i )
{
	printf( "%d", i );

	return i;
}

int putnl( void )
{
	return puts( "" );
}