let option_name = "-fct-pdg"