anchor.diff:          | _ -> d in
       {tcenv=e;
        debug = { gen = Env.debug e (Options.Other "Norm")
  +             ; top = Env.debug e (Options.Other "NormTop")
                ; primop = Env.debug e (Options.Other "Primops")
                ; unfolding = Env.debug e (Options.Other "Unfolding")
                ; b380 = Env.debug e (Options.Other "380")
  
positive.code: 
  let log cfg f =
      if cfg.debug.gen then f () else ()
  
  let log_primops cfg f =
      if cfg.debug.primop then f () else ()
  
negative.code: 
  let normalize_with_primitive_steps ps s e t =
      let c = config' ps s e in
      log_top c (fun () -> BU.print1 "Starting normalizer for (%s) {\n" (Print.term_to_string t));
      let r = norm c [] [] t in
      log_top c (fun () -> BU.print1 "}\nNormalization result = (%s)\n" (Print.term_to_string r));
      r
  
  let normalize s e t = normalize_with_primitive_steps [] s e t
  let normalize_comp s e t = norm_comp (config s e) [] t
  let normalize_universe env u = norm_universe (config [] env) [] u
  