#ifndef PAUL_HH_INCLUDED
#define PAUL_HH_INCLUDED

void paul( ); // Prints " Paul, "

#endif // PAUL_HPP_INCLUDED