let main () = if Enabled.get () then Enabled.output syntactic; if ValueCoverage.get () then ValueCoverage.output value;