Resumable scan through keys

Hi, I am trying to process keys on server in this batch pattern.

var cursor = 0;
do
{
    var keyBatch = await GetKeysAsync(cursor);
    foreach (var key in keyBatch)
    {
        ProcessKey(key);
    }
    cursor = keyBatch.NextCursor;
} while (cursor != 0);

How can I achieve this behaviour using IServer and IScanningCursor? This does not work.

var cursor = 0L;
do
{
    var counter = 0;
    var keys = server.KeysAsync(1, "user:*", 1000, cursor);
    await foreach (var key in keys)
    {
        counter++;
    }
    Console.WriteLine($"{cursor}, {counter}");

    cursor = ((IScanningCursor) keys).Cursor;
} while (cursor != 0);

Comienza con el punto de entrada IServer.KeysAsync y la interfaz IScanningCursor mencionados en los ejemplos, y luego sigue cómo se expone el cursor después de la enumeración asíncrona. Reproduce el bucle por lotes contra Redis y compara el cursor observado con el comportamiento esperado de continuación; se considera terminado cuando se haya establecido el comportamiento de escaneo reanudable previsto o se haya documentado la discrepancia.