anchor.diff:  
   let log cfg f =
       if cfg.debug.gen then f () else ()
  +
  +let log_top cfg f =
  +    if cfg.debug.top then f () else ()
   
   let log_primops cfg f =
       if cfg.debug.primop then f () else ()
  
positive.code:         | _ -> d in
      {tcenv=e;
       debug = { gen = Env.debug e (Options.Other "Norm")
               ; primop = Env.debug e (Options.Other "Primops")
               ; unfolding = Env.debug e (Options.Other "Unfolding")
               ; b380 = Env.debug e (Options.Other "380")
  
negative.code: 
  type debug_switches = {
      gen              : bool;
      top              : bool;
      primop           : bool;
      unfolding        : bool;
      b380             : bool;
  