(options -replace instrument)

(return.c -main (coverage multi))



(options force_weak) 
(options -produce-object)
(logfile GLOG)
(options -readlog -writelog)
