anchor.diff:      {tcenv=e;
        debug = { gen = Env.debug e (Options.Other "Norm")
                ; top = Env.debug e (Options.Other "NormTop")
  +             ; cfg = Env.debug e (Options.Other "NormCfg")
                ; primop = Env.debug e (Options.Other "Primops")
                ; unfolding = Env.debug e (Options.Other "Unfolding")
                ; b380 = Env.debug e (Options.Other "380")
  
positive.code:     in_full_norm_request: bool;
      weakly_reduce_scrutinee:bool;
  }
  
  let default_steps : fsteps = {
      beta = true;
  
negative.code:                                         (Print.term_to_string t)
                                          (BU.string_of_int (List.length env))
                                          (stack_to_string (fst <| firstn 4 stack)));
          log_cfg cfg (fun () -> BU.print1 ">>> cfg = %s\n" (cfg_to_string cfg));
          match t.n with
            | Tm_unknown
            | Tm_constant _
  