let dummy_t_fct_user_crit = CuTop dummy_t_pdg_mark