anchor.diff:         (Any) -> Any
       end.
   
  +remap([{'%',_}=I|Is], Map, Acc) ->
  +    remap(Is, Map, [I|Acc]);
   remap([{block,Bl0}|Is], Map, Acc) ->
       Bl = remap_block(Bl0, Map, []),
       remap(Is, Map, [{block,Bl}|Acc]);
  
positive.code: %%  to safe labels (i.e., the code at those labels don't depend
  %%  on the contents of any Y register).
  
  frame_size([{block,_}|Is], Safe) ->
      frame_size(Is, Safe);
  frame_size([{call_fun,_}|Is], Safe) ->
  
negative.code:     safe_labels(Is, Acc);
  safe_labels([], Acc) -> cerl_sets:from_list(Acc).
  
  is_safe_label([{'%',_}|Is]) ->
      is_safe_label(Is);
  is_safe_label([{line,_}|Is]) ->
      is_safe_label(Is);
  is_safe_label([{badmatch,{Tag,_}}|_]) ->
  