let warn_all_mode =
  CilE.warn_all_mode { CilE.warn_emitter = emitter_value;
                       warn_deps = [Db.Value.self] }