s3:registry:reg_objects: add regval_ctr_get_seqnum()