#include "libtf.h"

int main()
{
	print_str(NULL, 1, "Hello ");
	print_line(NULL, 1, "World!");
}