anchor.diff:                         mk_type_error(invalid_list_of_key_value_tuples, X, Path)
                  end,
                  [replace_term('VerifyKey', KeyVerifierFn),
  -                replace_term('VerifyValue', ValueVerifierFn)]);
  +                replace_term('VerifyValue', ValueVerifierFn2)]);
            maps ->
                gpb_codegen:format_fn(
                  FnName,
  
positive.code: args_by_op(decode_repeated_add_elem) -> [?expr(Elem), ?expr(L)];
  args_by_op(decode_repeated_finalize) -> [?expr(L)];
  args_by_op(merge)                    -> [?expr(X1), ?expr(X2)];
  args_by_op(verify)                   -> [?expr(X)].
  
  format_aux_transl_helpers() ->
      [nowarn_attrs(id,1),
  
negative.code:                mk_type_error(bad_binary_value, X, Path)
         end)].
  
  format_map_verifiers(#anres{map_types=MapTypes}=AnRes, Opts) ->
      RecordsOrMaps = get_records_or_maps_by_opts(Opts),
      [format_map_verifier(KeyType, ValueType, RecordsOrMaps, AnRes)
       || {KeyType,ValueType} <- sets:to_list(MapTypes)].
  
  format_map_verifier(KeyType, ValueType, RecordsOrMaps, AnRes) ->
      MsgName = map_type_to_msg_name(KeyType, ValueType),
      FnName = mk_fn(v_, MsgName),
      KeyVerifierFn = mk_fn(v_type_, KeyType),
      ValueVerifierFn1 = case ValueType of
                             {msg,FMsgName}  -> mk_fn(v_msg_, FMsgName);
                             {enum,EnumName} -> mk_fn(v_enum_, EnumName);
                             Type            -> mk_fn(v_type_, Type)
                         end,
      ElemPath = [MsgName,value],
      ValueVerifierFn2 = find_translation(ElemPath, verify, AnRes,
                                          ValueVerifierFn1),
  
      [nowarn_dialyzer_attr(FnName, 2),
       case RecordsOrMaps of
           records ->
  