As a result, the `messagesRead` out parameter can be set higher than the `messagesToRead`, which should not happen.