Abstract operations and other functions drawn from the ECMAScript specification