Use newly introduced es5-ext utility