const videoHeight_getterinfo: JSJitInfo;