anchor.diff:          Inr tc_result
         end
         else begin
  -        if Options.debug_any()
  +        if Options.debug_at_level_no_module (Options.Other "CheckedFiles")
           then begin
             BU.print4 "Expected (%s) hashes:\n%s\n\nGot (%s) hashes:\n\t%s\n"
               (BU.string_of_int (List.length deps_dig'))
  
positive.code:               cache_file with
        | Inl msg -> fail msg cache_file; None
        | Inr tc_result ->
          if Options.debug_any () then
          BU.print1 "Successfully loaded module from checked file %s\n" cache_file;
          Some tc_result
        (* | _ -> failwith "load_checked_file_tc_result must have an Invalid or Valid entry" *)
      in
  
negative.code:       match BU.smap_try_find mcache cache_fn with
        | None ->
          let msg = BU.format2 "For dependency %s, cache file %s is not loaded" fn cache_fn in
          if Options.debug_at_level_no_module (Options.Other "CheckedFiles")
          then BU.print1 "%s\n" msg;
          Inl msg
        | Some (Invalid msg, _) -> Inl msg
        | Some (Valid dig, _)   -> Inr dig
  