text: /*******************************************************************************
      Copyright (c) 2013, KAIST.
      All rights reserved.
  
      Use is subject to license terms.
  
      This distribution may include materials developed by third parties.
   ***************************************************************************** */
  
  var x = {p:1};
  
  if (Math.random())
  	delete x.p;
  	
  var y = x.p;
  
  y.z;
  