anchor.diff:        end
     end.
   
  --spec update_maps(#state{}, icode_lbl(), ordsets:ordset(icode_lbl()),
  +-spec update_maps(state(), icode_lbl(), ordsets:ordset(icode_lbl()),
   		  var_map(), ordsets:ordset(icode_lbl()), var_map())
  -		 -> fixpoint | {#state{}, [icode_lbl()]}.
  +		 -> fixpoint | {state(), [icode_lbl()]}.
   
   update_maps(State, Label, SuccSet, SuccMap, FailSet, FailMap) ->
     {NewState, Add1} = update_maps(State, Label, SuccSet, SuccMap, []),
  
positive.code: annotate_fclearerror([], Cfg) ->
    Cfg.
  
  -spec annotate_fclearerror1(icode_instrs(), icode_lbl(), #cfg{}, icode_instrs())
  			   -> icode_instrs().
  
  annotate_fclearerror1([I|Left], Label, Cfg, Acc) ->
  
negative.code: needs_fcheckerror([], _State, Acc) ->
    Acc.
  
  -spec add_fp_ebb_fixup(none | icode_lbl(), icode_lbl(), state()) -> state().
  
  add_fp_ebb_fixup('none', To, State) ->
    %% Add the fcheckerror to the start of the block.
  