anchor.diff:    match get_odir() with
     | None -> fname
     | Some x -> x ^ "/" ^ fname
  +
  +let parse_setting s =
  +    let parse_one_setting s =
  +        if s = "*" then ([], true)
  +        else if FStar.Util.starts_with s "-"
  +        then let path = FStar.Ident.path_of_text (FStar.Util.substring_from s 1) in
  +             (path, false)
  +        else let s = if FStar.Util.starts_with s "+"
  +                     then FStar.Util.substring_from s 1
  +                     else s in
  +             (FStar.Ident.path_of_text s, true)
  +    in
  +    FStar.Util.split s " " |> List.map parse_one_setting in
   
   
   let __temp_no_proj               s  = get___temp_no_proj() |> List.contains s
  
positive.code:       ("dump_module"                  , List []);
        ("eager_inference"              , Bool false);
        ("expose_interfaces"            , Bool false);
        ("extract_all"                  , Bool false);
        ("extract_module"               , List []);
        ("extract_namespace"            , List []);
  
negative.code: let use_native_tactics           () = get_use_native_tactics          ()
  let use_tactics                  () = get_use_tactics                 ()
  let using_facts_from             () =
      match get_using_facts_from () with
      | None -> [ [], true ] //if not set, then retain all facts
      | Some ns -> List.collect parse_setting ns |> List.rev
  