			 AREA TEST CONDITIONS

Combinations:
	Race alone
	Race with routine
	Race with call
	Race with both

The function
	Empty		(special cased before any coverage)
	Single statement
		Non-function (addition or something)
		Return statement
			With argument (make sure it requires temporaries.)
			Without argument
		Function call
	Multiple statements
		Return with function call
		Return without function call
		Function calls
		Non function calls (addition, for example).

Compound statements:
	Empty
	Single statement
		Return statement (requiring temporaries -- with funcall)
		Function call with unused value.
	Multiple statements
		Including return statement (requiring temporaries)
		Function call with unused value.

Return arguments
	None
	simple expressions
	function call.
	Function call in expression.

Function call arguments
	None
	1 simple expression.
	function call.
	Two or more arguments 

Instrumentation
	On in at least one routine.
	Off in at least one routine.
		function calls present, return present (so all checked)
	
When switch happens:
	In declaration (race should not be detected)
	In body of function
		Before the first call/return.
		After the first call/return.

When "race" happens:
	One thread in subfunction, one in main function (not detected)
	After the function returns (check race indication turned off)
	After return via longjmp (race indication turned off)

Function calls
	With used return value (make the value a float)
	Without used return value (in simple statement)

Macros
	Entire function in macro (should be unaffected)

File handling
	Functions in several file are instrumented (checking whether count is 
		broadcast to other gct invocations)

Declarations
	Declarations in body of function
		With function calls (should not be instrumented)
	No declarations.
	Declarations in sub-compound-statements
		With function calls (should be instrumented)

			RACE FUNCTIONS

Race_entry
	One instrumented function
		Is also first test condition. (Check "next group" --
			should be 2.
	More than one racing function.
		With non-racing functions inbetween.

race_check_statement:
	Two racing functions on same line. (reasonable to use w/ macros.)


			STRANS FUNCTIONS			

I_sys_routine:
	No declarations in function
	Declarations in function
	
