_card_definitions:
- &WIN-CARD-1
card_name: 'win1'
+ max_number: 1
actions:
- *ACQUIRE-WIN-TOKEN
- &WIN-CARD-2
card_name: 'win2'
+ max_number: 2
actions:
- *BAD-DEFAULT
- *ACQUIRE-WIN-TOKEN
- &WIN-CARD-3
card_name: 'win3'
+ max_number: 1
actions:
- *SET-BITS-DEFAULT
- *ACQUIRE-WIN-TOKEN