Added code for 16.2.9.4

  Mutability through indirection