anchor.diff:  %%  format as used in the compiler and in .S files.
   
   validate(Module, Fs) ->
  -    Ft = build_function_table(Fs, []),
  +    Ft = build_function_table(Fs, #{}),
       validate_0(Module, Fs, Ft).
   
   validate_0(_Module, [], _) -> [];
  
positive.code:                    validate_body_call('fun', Live+1, SuccVst)
             end);
  vi_throwing({make_fun2,{f,Lbl},_,_,NumFree}, #vst{ft=Ft}=Vst0) ->
      #{ arity := Arity0 } = gb_trees:get(Lbl, Ft),
      Arity = Arity0 - NumFree,
  
      true = Arity >= 0,                          %Assertion.
  
negative.code:     end.
  
  validate_fun_info_branches([L|Ls], MFA, #vst{branched=Branches}=Vst0) ->
      Vst = Vst0#vst{current=map_get(L, Branches)},
      validate_fun_info_branches_1(0, MFA, Vst),
      validate_fun_info_branches(Ls, MFA, Vst);
  validate_fun_info_branches([], _, _) -> ok.
  