anchor.diff:  binary_fun_result_type("json_value") ->         #bind{type=json,default=[]};
   binary_fun_result_type("json_diff") ->          #bind{type=json,default=[]};
   binary_fun_result_type("phash2") ->             #bind{type=integer,default=0};
  +binary_fun_result_type("slice") ->              #bind{type=binstr,default=?nav};
   binary_fun_result_type("map_get") ->            #bind{type=map,default=?nav};
   binary_fun_result_type("map_merge") ->          #bind{type=map,default=?nav};
   binary_fun_result_type("map_remove") ->         #bind{type=map,default=?nav};
  
positive.code:         Val == From ->  To;
          true ->         Val
      end.
  
  mfa(Mod,Func,Args) ->
      SKey = imem_sec:have_permission(?IMEM_SKEY_GET_FUN(),{eval_mfa,Mod,Func}),
  
negative.code:             , to_tuple, to_list, to_map, to_term, to_binterm, to_pid, from_binterm
              , to_decimal, from_decimal, to_timestamp, to_datetime, to_ipaddr
              , to_json, json_to_list, json_arr_proj, json_obj_proj, json_value, json_diff, md5
              , byte_size, bit_size, nth, sort, usort, reverse, last, remap, phash2, slice
              , map_size, map_get, map_merge, map_remove, map_with, map_without
              , '[]', '{}', ':', '#keys', '#key','#values','#value', '::'
              , mfa
  