anchor.diff:      [hipe_rtl:mk_branch(BinSize, 'ltu', NewOffset, FalseLblName, 
   			hipe_rtl:label_name(TempLbl), 0.01),
        TempLbl,
  -     update_offset(NewOffset,Ms),
  +     update_offset(NewOffset, Ms),
        hipe_rtl:mk_goto(TrueLblName)].
   
   add_to_offset(Result, Extra, Original, FalseLblName) ->
  
positive.code:   [hipe_tagscheme:test_heap_binary(Orig, hipe_rtl:label_name(HeapLbl),
  				   hipe_rtl:label_name(REFCLbl)),
     HeapLbl,
     hipe_rtl:mk_alu(Base, Orig, add, hipe_rtl:mk_imm(?HEAP_BIN_DATA-2)),
     hipe_rtl:mk_goto(hipe_rtl:label_name(EndLbl)),
     REFCLbl,
     hipe_rtl:mk_load(Base, Orig, hipe_rtl:mk_imm(?PROC_BIN_BYTES-2)),
  
negative.code:   end.
  
  update_offset(NewOffset, Ms) ->
    set_field_from_term({matchstate, {matchbuffer, offset}}, Ms, NewOffset).
  
  opt_update_ms([NewMs], OldMs) ->
    [hipe_rtl:mk_move(NewMs, OldMs)];
  