Bring in the implementation of DeviceGather