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