(options instrument) (options instrument-included-files)
(coverage call)
