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