 The language of § 6.5/7 can be misread to imply that reading alternative union members is permissible.However, the text is "An object "shall" have its stored value "accessed only by"…".It is a limiting expression, not a statement that all possible union members may be accessed regardless of which was last stored.