let main () =
  if Enabled.get () then
    begin
      print () ;
      Enabled.clear () ; (* Hack for not printing the report after -then *)
    end