Let device_tokens return a lazy enumerator supporting multiple pages