const drawingBufferWidth_getterinfo: JSJitInfo;