anchor.diff:                 replace_term('VerifyValue', ValueVerifierFn)])
       end.
   
  -format_verifier_auxiliaries() ->
  -    [gpb_codegen:format_fn(
  +format_verifier_auxiliaries(Defs) ->
  +    ["-spec mk_type_error(_, _, list()) -> no_return().\n",
  +     gpb_codegen:format_fn(
          mk_type_error,
          fun(Error, ValueSeen, Path) ->
                  Path2 = prettify_path(Path),
  
positive.code:     end.
  
  format_decoders_top_function_no_msgs() ->
      gpb_codegen:format_fn(
        decode_msg,
        fun(Bin, _MsgName) when is_binary(Bin) ->
                erlang:error({gpb_error, no_messages})
        end).
  
  format_decoders_top_function_msgs(Defs) ->
      gpb_codegen:format_fn(
  
negative.code:                              {Error, [{value, ValueSeen},{path, Path2}]}})
         end),
       "\n",
       case contains_messages(Defs) of
           false ->
               gpb_codegen:format_fn(
                 prettify_path,
                 fun([]) -> top_level end);
           true ->
               gpb_codegen:format_fn(
                 prettify_path,
                 fun([]) ->
                         top_level;
                    (PathR) ->
                         list_to_atom(
                           string:join(
                             lists:map(fun atom_to_list/1, lists:reverse(PathR)),
                             "."))
                 end)
       end].
  
  %% -- translators ------------------------------------------------------
  
  