Beginnings of def/es7.js.