anchor.diff:          List.fold_left accum_exports_hidden (exports, hidden) ses'
       in
       (List.rev_append ses' ses, exports, env, hidden), ses_elaborated
  +    end
     in
     // A wrapper to (maybe) print the time taken for each sigelt
     let process_one_decl_timed acc se =
  
positive.code: 
  let tc_decls env ses =
    let rec process_one_decl (ses, exports, env, hidden) se =
      if Env.debug env Options.Low
      then BU.print2 ">>>>>>>>>>>>>>Checking top-level %s decl %s\n"
                          (Print.tag_of_sigelt se)
  
negative.code:      BU.print1 ">>>>>>>>>>>>>>tc_decl %s\n" (Print.sigelt_to_string se);
  
     tc_decl' env se
  
  let for_export env hidden se : list<sigelt> * list<lident> =
     (* Exporting symbols based on whether they have been marked 'abstract'
  