const onpagehide_setterinfo: JSJitInfo;