anchor.diff:  				  St2#cg{bfail=Pfail}),
       %%ok = io:fwrite("cg ~w: ~p~n", [?LINE,{Rs,I,Vdb,Aft}]),
       %% Set return values to false.
  -    Mis = map(fun ({var,V}) -> {move,{atom,false},fetch_var(V, Aft)} end, Rs),
  +    Mis = [{move,{atom,false},fetch_var(V,Aft)}||{var,V} <- Rs],
       {Tis ++ [{jump,{f,Psucc}},
   	     {label,Pfail}] ++ Mis ++ [{label,Psucc}],
        Aft,St3#cg{bfail=St0#cg.bfail}}.    
  
positive.code:     [{test,select_type_test(Type),{f,Tf},[R]},
       {test,is_eq_exact,{f,Vf},[R,{Type,Val}]}|Sis];
  select_val_cg(Type, R, Vls0, Tf, Vf, Sis) ->
      Vls1 = map(fun ({f,_Lbl} = F) -> F;
  		   (Value) -> {Type,Value}
  	       end, Vls0),
      [{test,select_type_test(Type),{f,Tf},[R]}, {select_val,R,{f,Vf},{list,Vls1}}|Sis].
      
  select_type_test(integer) -> is_integer;
  
negative.code: -export([module/2]).
  
  -import(lists, [member/2,keymember/3,keysort/2,keydelete/3,
  		append/1,flatmap/2,filter/2,foldl/3,foldr/3,mapfoldl/3,
  		sort/1,reverse/1,reverse/2]).
  -import(v3_life, [vdb_find/2]).
  
  