anchor.diff:  let parse_warn_error s = snd (parse_warn_error_set_get) () s
   
   let init () =
  -   let o = peek () in
  +   let o = internal_peek () in
      Util.smap_clear o;
      defaults |> List.iter set_option'                          //initialize it with the default values
   
  
positive.code: let _run = clear()
  
  let get_option s =
    match Util.smap_try_find (peek()) s with
    | None -> failwith ("Impossible: option " ^s^ " not found")
    | Some s -> s
  
  
negative.code: let fstar_options : ref<list<list<optionstate>>> = Util.mk_ref []
  
  let internal_peek () = List.hd (List.hd !fstar_options)
  let peek () = copy_optionstate (internal_peek())
  let pop  () = // already signal-atomic
      match !fstar_options with
      | []
  