let
get_index pdg =
let
pdg = get_pdg_body pdg
in
pdg.index