let is_on () = Print.get () || not (Dump.is_default ())