anchor.diff:  compile(#{module := Module} = Map) ->
     Data = elixir_module:data_table(Module),
     Deprecated = get_deprecated(Data),
  -  {Prefix, Forms, Defmacro, Unreachable} = dynamic_form(Map, Deprecated),
  +  {Prefix, Forms, Defmacro} = dynamic_form(Map, Deprecated),
     Specs =
       case elixir_config:get(bootstrap) of
         true -> [];
  -      false -> specs_form(Map, Data, Defmacro, Unreachable, types_form(Data, []))
  +      false -> specs_form(Map, Data, Defmacro, types_form(Data, []))
       end,
     load_form(Map, Data, Prefix, Forms, Specs, Deprecated).
   
  
positive.code: 
    Forms0 = functions_form(Line, Module, Def, Defmacro, Exports, Functions, Deprecated),
    Forms1 = attributes_form(Line, Attributes, Forms0),
    {Prefix, Forms1, Macros, Unreachable}.
  
  % Definitions
  
  
negative.code:   case ets:take(Data, Key) of
      [{Key, Value, _, _}] -> Value;
      [] -> []
    end.
  
  validate_spec_for_existing_function(ModuleMap, NameAndArity, Line) ->
    #{definitions := Defs, file := File} = ModuleMap,
  
    case lists:keymember(NameAndArity, 1, Defs) of
      true -> ok;
      false -> form_error(#{line => Line, file => File}, {spec_for_undefined_function, NameAndArity})
    end.
  
  % Attributes
  