Mozilla's JavaScript implementation