anchor.diff:  t_rewrite([], _Exports) ->
       [].    %% fail-safe, in case there is no module declaration
   
  -rewrite([{function,_,quickcheck,0,_}=F | Fs], As, Module, _GenQC) ->
  +rewrite([{function,_,?CHECK,0,_}=F | Fs], As, Module, _GenQC) ->
       rewrite(Fs, [F | As], Module, false);
   rewrite([F | Fs], As, Module, GenQC) ->
       rewrite(Fs, [F | As], Module, GenQC);
   rewrite([], As, Module, GenQC) ->
       {if GenQC ->
   	     Triq = {record_field,0,{atom,0,''},{atom,0,triq}},
  -	     [{function,0,quickcheck,0,
  +	     [{function,0,?CHECK,0,
   	       [{clause,0,[],[],
   		 [{call,0,{remote,0,Triq,{atom,0,module}},
   		   [{atom,0,Module}]}]}]}
  
positive.code: 		true -> list_to_atom(packages:concat(Name))
  	     end,
      {Fs1, GenQC} = rewrite(Fs, [], Module, true),
      Es = if GenQC -> [{quickcheck,0} | Exports];
  	    true -> Exports
  	 end,
      [M, {attribute,0,export,Es} | lists:reverse(Fs1)].
  
negative.code: 
  -export([parse_transform/2]).
  
  -define(CHECK,check).
  
  parse_transform(Forms, Options) ->
      PropPrefix = proplists:get_value(triq_prop_prefix, Options,
  