const framebufferHeight_getterinfo: JSJitInfo;