anchor.diff: +%%
  +%%
  +%% For the purposes of licensing, I will permit myself to regard
  +%% this module as a "separate library", because it is not linked
  +%% with the resulting executable.  It is linked into the compiler,
  +%% as it runs.  As such, a "GNU Lesser General Public License" is
  +%% not really a problem; just make sure that you distribute this
  +%% source code file along with any binaries.
  +%%
  +%% ----------------
  +%%
   %% This library is free software; you can redistribute it and/or modify
   %% it under the terms of the GNU Lesser General Public License as
   %% published by the Free Software Foundation; either version 2 of the
  
positive.code: t_rewrite([], _Exports) ->
      [].    %% fail-safe, in case there is no module declaration
  
  rewrite([{function,_,quickcheck,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,
  	       [{clause,0,[],[],
  		 [{call,0,{remote,0,Triq,{atom,0,module}},
  		   [{atom,0,Module}]}]}]}
  
negative.code: 
  -export([parse_transform/2]).
  
  -define(CHECK,check).
  
  parse_transform(Forms, Options) ->
      PropPrefix = proplists:get_value(triq_prop_prefix, Options,
  