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: %%  This function handles the same instructions as frame_size/2. It
  %%  assumes that any labels in the instructions are safe labels.
  
  is_not_used(Y, [{'%',_}|Is]) ->
      is_not_used(Y, Is);
  is_not_used(Y, [{apply,_}|Is]) ->
      is_not_used(Y, Is);
  is_not_used(Y, [{bif,_,{f,_},Ss,Dst}|Is]) ->
  