anchor.diff:  expand_mf_instr(#b_set{args=[#b_literal{val=badrecord} | _Args]}=I,
                   Is, Count, Acc) ->
       {reverse(Acc, [I | Is]), Count};
  -expand_mf_instr(#b_set{args=[#b_literal{val=function_clause} | Args]}=I0,
  -                Is, Count0, Acc0) ->
  -    %% We can't make a direct jump to `func_info` or an inlined stub: simulate
  -    %% it with `erlang:error/2` instead.
  -    {List, Count, Acc} = expand_mf_args(Args, Count0, Acc0),
  -    Call = I0#b_set{op=call,
  -                    args=[#b_remote{mod=#b_literal{val=erlang},
  -                                    name=#b_literal{val=error},
  -                                    arity=2},
  -                          #b_literal{val=function_clause},
  -                          List]},
  -    {reverse(Acc, [Call | Is]), Count};
   expand_mf_instr(#b_set{args=[#b_literal{}|_]=Args}=I0, Is, Count0, Acc) ->
       %% We don't have a specialized instruction for this: simulate it with
       %% `erlang:error/1` instead.
  
positive.code:             %% We have the same location as the `func_info` instruction at the
              %% beginning of the function; keep the instruction.
              none;
          #{ inlined := {Name,InlinedArity} } ->
              %% We're raising this for an inlined function, convert it to a call
              %% to a stub function that will raise a proper `function_clause`
              %% exception. The stub function will be created later by
              %% `create_fc_stubs/2`.
              Target = #b_local{name=#b_literal{val=Name},arity=InlinedArity},
              I = I0#b_set{op=call,args=[Target | Args]},
              {reverse(Acc, [I | Is]), Count0};
          #{} when Location =:= none, length(Args) =:= Arity ->
              none;
          _ ->
              expand_mf_instr(I0, Is, Count0, Acc)
      end;
  expand_mf_is([#b_set{op=match_fail}=I | Is], _Arity, _Location, Count, Acc) ->
      expand_mf_instr(I, Is, Count, Acc);
  
negative.code:                                     arity=1},
                           Tuple]},
      {reverse(Acc, [Put, Call | Is]), Count}.
  
  %% Create stubs for `function_clause` exceptions generated by
  %% inlined code.
  