Coverage decreased (-0.19%) when pulling 8a4591db57857b06011141552a75ad09d2a6ed60 on bug/no-clobbering-options into 0e37f0f7bcc915287744c14ef22b225b5a807f4a on master.
Coverage decreased (-0.2%) when pulling f370986c494e7ab81909547933880b8e71ca09c3 on bug/no-clobbering-options into 0e37f0f7bcc915287744c14ef22b225b5a807f4a on master.
Partially fixes #15.