1
Actually, we defer description to alias variable patterns until Section 9.6, in the context of a discussion on Cyclone's non-aliasable pointers.