let
get_idx (_pdg, idx) = idx