let get_str_default_level_option defined_function = 
  str_level_option (get_default_level_option defined_function)