(options -replace instrument)
(options -readlog)

(s.deref2.c -main (coverage branch multi relational))

(multi.c -main
	(test11 (coverage relational multi))	
	(test10 (coverage relational))
	(test01 (coverage multi))
	(test00 (coverage -multi)))
(multi3.c -main (coverage multi ))

(options check_standard)
