const scrollHeight_getterinfo: JSJitInfo;