anchor.diff:  
   -type type_table() :: erl_types:type_table().
   
  --spec get_record_and_type_info(cerl:module()) ->
  +-spec get_record_and_type_info(cerl:c_module()) ->
           {'ok', type_table()} | {'error', string()}.
   
   get_record_and_type_info(Core) ->
  
positive.code: flat_format(Fmt, Lst) ->
    lists:flatten(io_lib:format(Fmt, Lst)).
  
  -spec get_options_with_tag(atom(), cerl:module()) -> [term()].
  
  get_options_with_tag(Tag, Core) ->
    [O || {Key, Value} <- cerl:module_attrs(Core),
  
negative.code:   lists:foreach(Fun, TagsFAs),
    [{{M, F, A}, W} || {{Warnings, _L, _File}, {F, A}} <- TagsFAs, W <- Warnings].
  
  -spec get_options(cerl:c_module(), [dial_warn_tag()]) ->
                       ordsets:ordset(dial_warn_tag()).
  
  get_options(Core, LegalWarnings) ->
  