/* $Id: libhello.cc 1083 2004-08-01 01:10:39Z mreindl $ */

#include <iostream>

using namespace std;

void print_hello(void) {
	cout << "Hello";
}

void print_world(void) {
	cout << "World";
}