`Js_OO` is an old internal thing that's still used by the `@this` attribute. We should find a way to get rid of it in favor of something more idiomatic.