let dummy_t_pdg_mark = {m1 = Spare ; m2 = Spare }