#include "print.h"
#include <stdio.h>
#include <tcpl/tcpl.h>

char *arg0 = "";

int tcpl_print(char* s)
{
	return printf("%s: %s\n", arg0, s);
}