anchor.diff:                         end),
           replace_term('<MsgName>', MsgName)])].
   
  -field_verifiers(Fields, FVars, MsgVar, Opts) ->
  -    [field_verifier(Field, FVar, MsgVar, Opts)
  +field_verifiers(MsgName, Fields, FVars, MsgVar, AnRes, Opts) ->
  +    [field_verifier(MsgName, Field, FVar, MsgVar, AnRes, Opts)
        || {Field, FVar} <- lists:zip(Fields, FVars)].
   
  -field_verifier(#?gpb_field{name=FName, type=Type, occurrence=Occurrence},
  -               FVar, MsgVar, Opts) ->
  +field_verifier(MsgName,
  +               #?gpb_field{name=FName, type=Type, occurrence=Occurrence}=Field,
  +               FVar, MsgVar, AnRes, Opts) ->
       FVerifierFn = case Type of
                         {msg,FMsgName}  -> mk_fn(v_msg_, FMsgName);
                         {enum,EnumName} -> mk_fn(v_enum_, EnumName);
                         {map,KT,VT}     -> mk_fn(v_, map_type_to_msg_name(KT,VT));
                         Type            -> mk_fn(v_type_, Type)
                     end,
  -    Replacements = [replace_term('<verify-fn>', FVerifierFn),
  +    ElemPath = mk_elempath_elem(MsgName, Field, false),
  +    FVerifierFn2 = find_translation(ElemPath, verify, AnRes, FVerifierFn),
  +    Replacements = [replace_term('<verify-fn>', FVerifierFn2),
                       replace_tree('<F>', FVar),
                       replace_term('<FName>', FName),
                       replace_term('<Type>', Type)],
  
positive.code:               end
                || Term <- ArgTemplate],
      [inline_attr(FnName,2),
       gpb_codegen:format_fn(
         FnName,
         fun('InArgs') ->
  
negative.code:         fold_msg_fields_o(
            fun(MsgName, #?gpb_field{name=FName, type={msg,Any}, occurrence=Occ},
                Oneof,
                Acc) when Any == 'google.protobuf.Any' ->
                    Path = case {Oneof, Occ} of
                               {false, repeated}  -> [MsgName,FName,[]];
                               {false, _}         -> [MsgName,FName];
                               {{true,CFName}, _} -> [MsgName,CFName,FName]
                           end,
                    [Path | Acc];
               (_MsgName, #?gpb_field{type={map,KeyType,{msg,Any}=ValueType}},
                _Oneof,
                Acc) when Any == 'google.protobuf.Any' ->
                    MsgAsMapName = map_type_to_msg_name(KeyType, ValueType),
                    Path = [MsgAsMapName,value],
                    [Path | Acc];
               (_MsgName, _Field, _Oneof, Acc) ->
                    Acc
  