(options -replace instrument -readlog)

(return.c -main (coverage multi))


(options check_standard)
