anchor.diff:  			      #c_tuple{es=[Xs, Avar]},
   			      Match(#c_apply{anno=Anno, op=F, args=[X, Avar]},
   				    #c_tuple{es=[X, Avar]},
  -				    #c_tuple{es=[#c_cons{hd=X, tl=Xs}, Avar]}))
  +				    #c_tuple{anno=[compiler_generated],
  +					     es=[#c_cons{anno=[compiler_generated],
  +							 hd=X, tl=Xs}, Avar]}))
   %%% Multiple-value version
   %%% 		   body=#c_let{vars=[Xs,A],
   %%% 			       %% The tuple will be optimised away
  
positive.code: 		  },
      C2 = #c_clause{pats=[#c_literal{val=[]}], guard=#c_literal{val=true},
  %%% Tuple passing version
  		   body=#c_tuple{es=[#c_literal{val=[]}, Avar]}},
  %%% Multiple-value version
  %%% 		   body=#c_values{es=[#c_literal{val=[]}, A]}},
      Err = #c_tuple{es=[#c_literal{val='function_clause'}, Xs]},
  
negative.code: 					     op=Loop,
  					     args=[Xs, Avar]},
  				    #c_tuple{es=[Xs, Avar]},
  				    #c_tuple{anno=[compiler_generated],
  					     es=[#c_cons{anno=[compiler_generated],
  							 hd=X, tl=Xs},
  						 Avar]})
  %%% Multiple-value version
  %%% 			      #c_let{vars=[Xs,A],
  %%% 				     %% The tuple here will be optimised
  