private void UpdateBitmapVectorAtIndex(UInt32 offset, UInt32[] bitmap, UInt32 index) { device.Write(offset + index / 32 * 4, bitmap[index / 32]); }