- Give CHECK_DEVICE_INDEX a suitable error message