Added mutable examples from 16.2.9.3