//One of the headers used in a static library.
//
//First, compile it with
//
//g++ -c -o paul.o paul.cc
//
//OPTIONS:    -c do not run the linker
//            -o name of the object file

#include <iostream>
#include "paul.hh"

void paul( )
{
    std::cout << "Paul, ";
}