const onhashchange_setterinfo: JSJitInfo;