anchor.diff:                                  jxa_ctx:context().
   handle_use_clauses(_Idx, Ctx0, [], Acc) ->
       populate_use_context(Acc, Ctx0);
  -handle_use_clauses(Idx, Ctx0, [as, AliasName | Rest], Acc = {ModuleName, _}) ->
  +handle_use_clauses(Idx, Ctx0, [[quote, as], AliasName | Rest], Acc = {ModuleName, _}) ->
       Ctx1 = jxa_ctx:add_alias(AliasName, ModuleName, Ctx0),
       handle_use_clauses(Idx, Ctx1, Rest, Acc);
  -handle_use_clauses(Idx, Ctx0, [only, TargetFuns | Rest],
  +handle_use_clauses(Idx, Ctx0, [[quote, only], TargetFuns | Rest],
                      {ModuleName, Exports0})
     when is_atom(ModuleName), is_list(TargetFuns) ->
       Specs = gather_fun_arity_pairs(Idx, TargetFuns, []),
  
positive.code:         Module:module_info()
      catch
          error:undef ->
              {_, Idx} = jxa_annot:get_annot(Path0, 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])
    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(Path0, Ctx0, _Invalid) ->
      {_, Idx} = jxa_annot:get_annot(Path0, jxa_ctx:annots(Ctx0)),
      ?JXA_THROW({invalid_require_clause, Idx}).
  
  %% Attribute Clauses
  
negative.code: %%
  %%     (attr <key> <value>)
  %%
  -spec comp_attr(jxa_path:state(), jxa_ctx:context(), term()) ->
                         jxa_ctx:context().
  comp_attr(Path0, Ctx0, [Key, Value]) ->
      jxa_ctx:add_attr({jxa_literal:comp(jxa_path:add(Path0), Ctx0, Key),
                        jxa_literal:comp(jxa_path:add(jxa_path:incr(Path0)),
                                         Ctx0, Value)},
                       Ctx0);
  comp_attr(Path0, Ctx0, _) ->
      {_, Idx} = jxa_annot:get(jxa_path:add_path(Path0), jxa_ctx:annots(Ctx0)),
      ?JXA_THROW({invalid_require_clause, Idx}).
  
  %% Use Clauses
  