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