//[example26
#include <boost/test/prg_exec_monitor.hpp> // this header is optional

int cpp_main( int, char* [] ) // note the name
{
    return 5;
}
//]