(options -replace)
(options instrument)
(options -readlog)

(coverage branch loop multi relational)

(Mpoint.c (options macros))
(Mrest.c (options macros))
(Mswitch.c (options macros))
(Mwhole1.c (options macros))
(Mwhole2.c (options macros))
(Mfunc.c (options macros))
(Mmult.c (options macros))
coverage.c
(options check_standard)
