std::cout << "AtomicActivity7:" << std::endl
			<< "\tif4cond: " << sin->if4cond.getValue() << std::endl
			<< "\tif4value: " << sin->if4value.getValue() << std::endl;
	if (!sin->if4cond.getValue()) {
		#include <sstream>
		std::stringstream ss;
		ss << "Test Failure: if4cond [" << sin->if4cond.getValue() << "] is not true.";
		throw wfr::exception::wfr_fatal_error(ss.str());
	}
	if (sin->if4value.getValue() != -1) {
		#include <sstream>
		std::stringstream ss;
		ss << "Test Failure: if4Value [" << sin->if4value.getValue() << "] is not -1.";
		throw wfr::exception::wfr_fatal_error(ss.str());
	}
	sout->if4valueOut.setValue(7);