(coverage branch)
# (options show_ctrl)
(options -produce-object)

synerr.c
synerr2.c
semerr.c
ok.c
(options check_standard)
