let t_pdg_mark_packed_descr = Structural_descr.p_abstract