const drawingBufferHeight_getterinfo: JSJitInfo;