(options instrument)
(coverage routine call)
