Does that mean that the nonce, as passed here, already has the counter applied, or how is CTR mode supposed to work?