spec to ES5