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);

Start with the IServer.KeysAsync entry point and the IScanningCursor interface mentioned in the examples, then trace how the cursor is exposed after asynchronous enumeration. Reproduce the batch loop against Redis and compare the observed cursor with the expected continuation behavior; done means the intended resumable scan behavior is established or the discrepancy is documented.