code: def _extract_device_uuid(cls, slug):
          
  
          if len(slug) != 22:
              raise ArgumentError("Invalid device slug", slug=slug)
  
          hexdigits = slug[3:]
          hexdigits = hexdigits.replace('-', '')
  
          try:
              rawbytes = binascii.unhexlify(hexdigits)
              words = struct.unpack(">LL", rawbytes)
              return (words[0] << 32) | (words[1])
          except ValueError as exc:
              raise ArgumentError("Could not convert device slug to hex integer", slug=slug, error=str(exc))
docs: Turn a string slug into a UUID