//-------- DECLARE VARIBLES ----------//
var	b_target : int ,
	b_SUPER_ROLE : int ,
	d_target : int ,
	d_SUPER_ROLE : int ,
	n_target : int ;

//-------------- BEGIN Program --------------------//
begin
	//-------------- Init VARS ------------------------//
	b_target = 0;
	b_SUPER_ROLE = 0;
	d_target = 0;
	d_SUPER_ROLE = 0;
	n_target = 0;
	// Initialize track variables in the system

	while ( true )  do 

		//----- Non-deterministic assignment ------//
		b_target = random; assume b_target >= 0 and b_target <= 1;
		b_SUPER_ROLE = random; assume b_SUPER_ROLE >= 0 and b_SUPER_ROLE <= 1;

		d_target = random; assume d_target >= 0 and d_target <= 1;
		d_SUPER_ROLE = random; assume d_SUPER_ROLE >= 0 and d_SUPER_ROLE <= 1;

		//-------------- Simulation -------------------//
		//------------ ERROR Query ---------------//
		if (n_target>0) then
			skip;
		endif;
	done;  //End while loop
end  //End main