(coverage routine branch)
(options instrument)

(noargs.c (options call))
