core_name_mapping
P->map_ldso = core_name_mapping(P, base_addr, interp);
P->map_exec = core_name_mapping(P, addr, "a.out");