anchor.diff:      verify_call_args_1(X, Vst).
   
   verify_local_call(Lbl, Live, Vst) ->
  -    F = fun({R, Type}) ->
  -                verify_arg_type(Lbl, R, Type, Vst)
  -        end,
       TRegs = typed_call_regs(Live, Vst),
  +    [verify_arg_type(Lbl, R, Type, Vst) || {R, Type} <- TRegs],
       verify_no_ms_aliases(TRegs),
  -    foreach(F, TRegs).
  +    ok.
   
   typed_call_regs(0, _Vst) ->
       [];
  
positive.code:     assert_choices(Choices),
      Vst = branch_state(Fail, Vst0),
      kill_state(select_val_branches(Src, Choices, Vst));
  valfun_4({select_tuple_arity,Tuple,{f,Fail},{list,Choices}}, Vst) ->
      assert_type(tuple, Tuple, Vst),
      assert_arities(Choices),
      TupleType = get_durable_term_type(Tuple, Vst),
      kill_state(branch_arities(Choices, Tuple, TupleType,
                                branch_state(Fail, Vst)));
  
  %% New bit syntax matching instructions.
  valfun_4({test,bs_start_match3,{f,Fail},Live,[Src],Dst}, Vst) ->
  
negative.code: valfun_3({fconv,Src,{fr,_}=Dst}, Vst) ->
      assert_term(Src, Vst),
      set_freg(Dst, Vst);
  valfun_3({bif,fadd,_,[_,_]=Ss,Dst}, Vst) ->
      float_op(Ss, Dst, Vst);
  valfun_3({bif,fdiv,_,[_,_]=Ss,Dst}, Vst) ->
      float_op(Ss, Dst, Vst);
  valfun_3({bif,fmul,_,[_,_]=Ss,Dst}, Vst) ->
      float_op(Ss, Dst, Vst);
  valfun_3({bif,fnegate,_,[_]=Ss,Dst}, Vst) ->
      float_op(Ss, Dst, Vst);
  valfun_3({bif,fsub,_,[_,_]=Ss,Dst}, Vst) ->
      float_op(Ss, Dst, Vst);
  valfun_3(fclearerror, Vst) ->
      case get_fls(Vst) of
  	undefined -> ok;
  