+ // post 2.12.0, add a new name (distinct from 'gps'), so
+ // it is possible to create non-default GPS instruments.
+ // then authors of realistic GPS and FMSs can transition to using
+ // that name as they choose.
+ set_subsystem( id, new GPS( node, true /* default GPS mode */ ) );