let get_str_default_level_option defined_function =
  str_level_option (get_default_level_option defined_function)