pub const TOUCHED_OPTIONS: [&str; 13];
Every option any stage writes; the driver snapshots these before the first stage and restores them after the last.