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