it turned out not to do anything useful (apparently the device's USB
part is broken), but at least we'll recognize it.