The API is responsible for checking that global options aren't used more
than once, despite it being handled (soon) in individual VUT setups.