//One of the headers used in a static library.  
//

#ifndef JOHNPAUL_HH_INCLUDED
#define JOHNPAUL_HH_INCLUDED

void johnpaul( ); // Prints "John, Paul, "

#endif // JOHNPAUL_HPP_INCLUDED