const scrollTop_getterinfo: JSJitInfo;