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

//____________________________________________________________________________//

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

//____________________________________________________________________________//
