(options -replace -instrument -produce-object -writelog -readlog -ignore)

(pragma.c (options instrument) 
	(coverage relational branch ))
(options check_standard)
