let option_name = "-scf-allow-cast"