elide-double-hole-check-1.js revision 906e2fb760f52fe6e75b744b1ea42576ea5b2c29 
1906e2fb760f52fe6e75b744b1ea42576ea5b2c29ulan@chromium.org