anchor.diff:                                     end
                              end, [], Specs),
       handle_use_clauses(Idx, Ctx0, Rest, {ModuleName, Exports1});
  -handle_use_clauses(Idx, Ctx0, [exclude, TargetFuns | Rest],
  +handle_use_clauses(Idx, Ctx0, [[quote, exclude], TargetFuns | Rest],
                      {ModuleName, Exports0})
     when is_atom(ModuleName), is_list(TargetFuns) ->
       Specs = gather_fun_arity_pairs(Idx, TargetFuns, []),
  
positive.code: %%
  %%     [{substr, 3}, str-substring]
  %%
  -spec gather_fun_alias_pairs(jxa_annot:index(),
                               [atom() | non_neg_integer()],
                               [{{FunName::atom(), Arity::non_neg_integer()},
                                 Alias::atom()}]) ->
  
negative.code: %%
  %%    [string :as str]
  %%
  -spec comp_require(jxa_path:state(), jxa_ctx:context(),
                    RequireClause::term()) -> jxa_ctx:context().
  comp_require(_Path0, Ctx0, []) ->
      Ctx0;
  