anchor.diff:                                  ()      = lookup_opt "trivial_pre_for_unannotated_effectful_fns"    as_bool
   let get_profile                 ()      = lookup_opt "profile"                  (as_option (as_list as_string))
   let get_profile_group_by_decl   ()      = lookup_opt "profile_group_by_decl"    as_bool
  -let get_profile_phase           ()      = lookup_opt "profile_phase"            as_comma_string_list
  +let get_profile_component       ()      = lookup_opt "profile_component"        (as_option (as_list as_string))
   
   let dlevel = function
      | "Low" -> Low
  
positive.code: let debug_any                    () = get_debug () <> []
  let debug_module        modul       = (get_debug () |> List.existsb (module_name_eq modul))
  let debug_at_level      modul level = (get_debug () |> List.existsb (module_name_eq modul)) && debug_level_geq level
  let profile_group_by_decls () = get_profile_group_by_decl ()
  let defensive                    () = get_defensive () <> "no"
  let defensive_fail               () = get_defensive () = "fail"
  let dep                          () = get_dep                         ()
  
negative.code:     | None -> false
      | Some (_, flag) -> flag
  
  let matches_namespace_filter_opt m =
    function
    | None -> false
    | Some filter -> module_matches_namespace_filter m filter
  
  
  let should_extract m =
      let m = String.lowercase m in
  