let option_name = "-slice-undef-functions"