anchor.diff:          Module:module_info()
       catch
           error:undef ->
  -            {_, Idx} = jxa_annot:get_annot(Path0, jxa_ctx:annots(Ctx0)),
  +            Path1 = jxa_path:add(Path0),
  +            {_, Idx} = jxa_annot:get(jxa_path:path(Path1),
  +                                     jxa_ctx:annots(Ctx0)),
               ?JXA_THROW({invalid_require_clause, {bad_module, Module}, Idx})
       end,
       Ctx1 = jxa_ctx:add_require(Module, Ctx0),
  -    comp_require(Path0, Ctx1, Rest);
  -comp_require(Path0, Ctx0, [[Module, as, ModuleAlias] | Rest])
  +    comp_require(jxa_path:incr(Path0), Ctx1, Rest);
  +comp_require(Path0, Ctx0, [[Module, [quote, as], ModuleAlias] | Rest])
     when is_atom(Module), is_atom(ModuleAlias) ->
       Ctx1 = jxa_ctx:add_alias(ModuleAlias, Module,
                                jxa_ctx:add_require(Module, Ctx0)),
  -        comp_require(Path0, Ctx1, Rest);
  +        comp_require(jxa_path:incr(Path0), Ctx1, Rest);
   comp_require(Path0, Ctx0, _Invalid) ->
  -    {_, Idx} = jxa_annot:get_annot(Path0, jxa_ctx:annots(Ctx0)),
  +    {_, Idx} = jxa_annot:get(jxa_path:add_path(Path0), jxa_ctx:annots(Ctx0)),
       ?JXA_THROW({invalid_require_clause, Idx}).
   
   %% Attribute Clauses
  
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:              Rest, {undefined, []}).
  
  
  -spec handle_use_clauses(jxa_parser:index(), jxa_ctx:content(),
                           [term()], {ModuleName::atom(),
                                      Exports::[{AliasFun::atom(),
                                                 Arity::non_neg_integer(),
  