Checkpoint: new example for ClaimMessageAsync