assigns_range_right
separation separation1 separation2 separation3 separation4 
ifs sort 
all minusminus 
array assigns loop_assigns not_assigns break continue goto
call clash clash_alloc clash_redef  
logic coord dassault_1 dassault_2 muller
copy dowhile invariants latespec logic_cast 
param passing queue rec ref ref_glob search see 
sizeof alloca all_zeros malloc calloc pointer init
struct struct2 struct3 switch enum sum1 sum2 incr pi count_bits count_bits_2
purse abs string return binary_search division negate mean loops matrix
selection russian
false false2 



