(options -replace)

(options -readlog -writelog)
(instrument.c (coverage branch))
(options check_standard)
