anchor.diff:  f(F, A) ->
       io_lib:format(F, A).
   
  +%% Rewrites for instance ['.','m1','.',m2] into 'm1.m2'
  +%% Example: {{msg,['.','m1','.',m2]}, [#field{type=['.','m1','.',m3]}]}
  +%% becomes: {{msg,'m1.m2'},           [#field{type='m1.m3'}]}
  +%%
  +%% Prerequisites:
   %% `Defs' is expected to be absolutified and flattened
   reformat_names(Defs) ->
       lists:map(fun({{msg,Name}, Fields}) ->
  
positive.code:       end,
        RPCs).
  
  %% `Defs' is expected to be absolutified
  flatten_defs(Defs) ->
      lists:reverse(
  
negative.code:                     FieldsOrDefs),
      {lists:reverse(RFields2), Defs2}.
  
  %% Find inconsistencies
  %%
  %% Prerequisites:
  %% `Defs' is expected to be flattened and may or may not be reformatted.
  verify_defs(Defs) ->
      collect_errors(Defs,
                     [{msg,     [fun verify_msg/2, fun verify_field_defaults/2]},
  