{
// TODO: Have some deterministic order for the options; now it depends on
// the order in which the global initializers are run.
{
// TODO: Have some deterministic order for the options; now it depends on
// the order in which the global initializers are run.