void checkInt( int a, b; ) 
	begin
		println( a + " " + b );
		if a < b then
			println( "< true" );
		else
			println( "< false" );
		end
		if a <= b then
			println( "<= true" );
		else
			println( "<= false" );
		end
		if a > b then
			println( "> true" );
		else
			println( "> false" );
		end
		if a >= b then
			println( ">= true" );
		else
			println( ">= false" );
		end
		if a == b then
			println( "== true" );
		else
			println( "== false" );
		end
		if a <> b then
			println( "<> true" );
		else
			println( "<> false" );
		end
	end
void checkReal( real a, b; ) 
	begin
		println( a + " " + b );
		if a < b then
			println( "< true" );
		else
			println( "< false" );
		end
		if a <= b then
			println( "<= true" );
		else
			println( "<= false" );
		end
		if a > b then
			println( "> true" );
		else
			println( "> false" );
		end
		if a >= b then
			println( ">= true" );
		else
			println( ">= false" );
		end
		if a == b then
			println( "== true" );
		else
			println( "== false" );
		end
		if a <> b then
			println( "<> true" );
		else
			println( "<> false" );
		end
	end
void checkInt1( int a, b; ) 
	begin
		println( a + " < " + b + " = " + ( a < b ) );
		println( a + " <= " + b + " = " + ( a <= b ) );
		println( a + " > " + b + " = " + ( a > b ) );
		println( a + " >= " + b + " = " + ( a >= b ) );
		println( a + " == " + b + " = " + ( a == b ) );
		println( a + " <> " + b + " = " + ( a <> b ) );
	end
void checkReal1( real a, b; ) 
	begin
		println( a + " < " + b + " = " + ( a < b ) );
		println( a + " <= " + b + " = " + ( a <= b ) );
		println( a + " > " + b + " = " + ( a > b ) );
		println( a + " >= " + b + " = " + ( a >= b ) );
		println( a + " == " + b + " = " + ( a == b ) );
		println( a + " <> " + b + " = " + ( a <> b ) );
	end
println( "Checking operators" );
checkInt( 1, 2 );
checkInt( 2, 1 );
checkInt( 1, 1 );
checkReal( 1.0, 2.0 );
checkReal( 2.0, 1.0 );
checkReal( 1.0, 1.0 );
checkInt1( 1, 2 );
checkInt1( 2, 1 );
checkInt1( 1, 1 );
checkReal1( 1.0, 2.0 );
checkReal1( 2.0, 1.0 );
checkReal1( 1.0, 1.0 );