let deb_ignore_essential = StdOpt.store_true ()