let get_idx (_pdg, idx) = idx