anchor.diff:  			Name = bs_get_binary2,
   			Live = max_reg(Bef#sr.reg),
   			{[{test,Name,{f,Vf},Live,
  -			   [CtxReg,SizeReg,Unit,{field_flags,Flags}],Rhd}],
  +			   [CtxReg,Size,Unit,{field_flags,Flags}],Rhd}],
   			 Int1};
   		    true ->
   			%% Since the matching context will not be used again,
  
positive.code: 			Name = bs_get_binary2,
  			Live = max_reg(Int1#sr.reg),
  			{[{test,Name,{f,Vf},Live,
  			   [CtxReg,SizeReg,Unit,{field_flags,Flags}],CtxReg}],
  			 Int1}
  		end
  	end,
  
negative.code: 		  {bs_save2,CtxReg,{Ctx,Tl}}],Int1}
  	end,
      {Es,clear_dead(Aft, I, Vdb),St};
  select_extract_bin([{var,Hd}], Size, Unit, binary, Flags, Vf,
  		   I, Vdb, Bef, Ctx, Body, St) ->
      %% Match the last segment of a binary. We KNOW that the size
      %% must be 'all'.
      Size = {atom,all},				%Assertion.
      {Es,Aft} =
  	case vdb_find(Hd, Vdb) of
  	    {_,_,Lhd} when Lhd =< I ->
  		%% The result will not be used. Furthermore, since we
  		%% we are at the end of the binary, the position will
  		%% not be used again; thus, it is safe to do a cheaper
  		%% test of the unit.
  		CtxReg = fetch_var(Ctx, Bef),
  		{case Unit of
  		     1 ->
  			 [];
  		     _ ->
  			 [{test,bs_test_unit,{f,Vf},[CtxReg,Unit]}]
  		 end,Bef};
  	    {_,_,_} ->
  		case is_context_unused(Body) of
  