anchor.diff:  process_tokens(Tokens) ->
       process_tokens(Tokens, []).
   
  +% Valid options:
  +% - file: The path of the file being processed
  +% - include: A list of directories to include in the .hrl search path
   process_tokens(Tokens, Options) ->
       {Tokens1, Module} = mark_keywords(Tokens),
       case aleppo_parser:parse(Tokens1) of
  
positive.code: expand_include_lib(FileName) ->
      [Lib | Rest] = filename:split(FileName),
      filename:join([code:lib_dir(list_to_atom(Lib))|Rest]).
  
  scan_file(FileName) ->
      {ok, FileContents} = file:read_file(FileName),
  
negative.code: 
      Dict2 = dict:store('MACHINE',  [{atom, 1, list_to_atom(erlang:system_info(machine))}], Dict1),
  
      Context = #ale_context{ 
          include_trail = IncludeTrail, 
          include_dirs = proplists:get_value(include, Options, ["."]), 
          macro_dict = Dict2 },
  
      case catch process_tree(ParseTree, TokenAcc, Context) of
          {error, What} ->
              {error, What};
          {_MacroDict, RevTokens} ->
              {ok, lists:reverse(RevTokens)}
      end.
  
  process_tree([], TokenAcc, Context) ->
      {Context#ale_context.macro_dict, TokenAcc};
  process_tree([Node|Rest], TokenAcc, Context) ->
      case Node of
          {'macro_define', {_Type, Loc, MacroName}} ->
              NewDict = dict:store(MacroName, [{atom,Loc,true}], Context#ale_context.macro_dict),
              process_tree(Rest, TokenAcc, Context#ale_context{ macro_dict = NewDict });
          {'macro_define', {_Type, _Loc, MacroName}, MacroTokens} ->
              NewDict = dict:store(MacroName, MacroTokens, Context#ale_context.macro_dict),
              process_tree(Rest, TokenAcc, Context#ale_context{ macro_dict = NewDict });
          {'macro_define', {_Type, _Loc, MacroName}, MacroArgs, MacroTokens} ->
              NewDict = dict:store({MacroName, length(MacroArgs)}, {MacroArgs, MacroTokens}, Context#ale_context.macro_dict),
              process_tree(Rest, TokenAcc, Context#ale_context{ macro_dict = NewDict });
          {'macro_undef', {_Type, _Loc, MacroName}} ->
              NewDict = dict:erase(MacroName, Context#ale_context.macro_dict),
              process_tree(Rest, TokenAcc, Context#ale_context{ macro_dict = NewDict });
          {'macro_include', {string, Loc, FileName}} ->
              AbsName = expand_filename(FileName, Context),
              {NewDict, IncludeTokens} = process_inclusion(AbsName, Loc, Context),
              process_tree(Rest, IncludeTokens ++ TokenAcc, Context#ale_context{ macro_dict = NewDict });
          {'macro_include_lib', {string, Loc, FileName}} ->
              AbsName = expand_include_lib(FileName),
              {NewDict, IncludeTokens} = process_inclusion(AbsName, Loc, Context),
              process_tree(Rest, IncludeTokens ++ TokenAcc, Context#ale_context{ macro_dict = NewDict });
          {'macro_ifdef', {_Type, _Loc, MacroName}, IfBody} ->
              process_ifelse(Rest, MacroName, IfBody, [], TokenAcc, Context);
          {'macro_ifdef', {_Type, _Loc, MacroName}, IfBody, ElseBody} ->
              process_ifelse(Rest, MacroName, IfBody, ElseBody, TokenAcc, Context);
          {'macro_ifndef', {_Type, _Loc, MacroName}, IfBody} ->
              process_ifelse(Rest, MacroName, [], IfBody, TokenAcc, Context);
          {'macro_ifndef', {_Type, _Loc, MacroName}, IfBody, ElseBody} ->
              process_ifelse(Rest, MacroName, ElseBody, IfBody, TokenAcc, Context);
          {'macro', {var, {Line, _Col} = Loc, 'LINE'}} ->
              process_tree(Rest, [{integer, Loc, Line}|TokenAcc], Context);
          {'macro', {var, Line, 'LINE'}} when is_integer(Line) ->
              process_tree(Rest, [{integer, Line, Line}|TokenAcc], Context);
          {'macro', {_Type, _Loc, MacroName}} ->
              InsertTokens = dict:fetch(MacroName, Context#ale_context.macro_dict),
              {_, RevProcessedTokens} = process_tree(InsertTokens, [], Context),
              process_tree(Rest, RevProcessedTokens ++ TokenAcc, Context);
          {'macro', {_Type, Loc, MacroName}, MacroArgs} ->
              {DefinedArgs, DefinedTokens} = dict:fetch({MacroName, length(MacroArgs)}, Context#ale_context.macro_dict),
              InsertTokens = expand_macro_fun(Loc, DefinedArgs, DefinedTokens, MacroArgs),
              {_, RevProcessedTokens} = process_tree(InsertTokens, [], Context),
              process_tree(Rest, RevProcessedTokens ++ TokenAcc, Context);
          OtherToken ->
              process_tree(Rest, [OtherToken|TokenAcc], Context)
      end.
  
  process_ifelse(Rest, MacroName, IfBody, ElseBody, TokenAcc, Context) ->
      ChooseBody = case dict:is_key(MacroName, Context#ale_context.macro_dict) of
          true -> IfBody;
          false -> ElseBody
      end,
      {NewDict, NewTokens} = process_tree(ChooseBody, [], Context),
      process_tree(Rest, NewTokens ++ TokenAcc, Context#ale_context{ macro_dict = NewDict }).
  
  process_inclusion(FileName, {Line, _}, Context) ->
      process_inclusion(FileName, Line, Context);
  process_inclusion(FileName, Line, Context) ->
      case lists:member(FileName, Context#ale_context.include_trail) of
          true ->
              throw({error, {circular_inclusion, FileName}});
          false ->
  