program lottery_c09219d9.aleo;

record Ticket:
    owner as address.private;

mapping num_winners:
    key as u8.public;
    value as u8.public;

function play:
    cast self.caller into r0 as Ticket.record;
    async play  into r1;
    output r0 as Ticket.record;
    output r1 as lottery_c09219d9.aleo/play.future;
finalize play:
    lte block.height 1000u32 into r0;
    assert.eq r0 true;
    rand.chacha into r1 as boolean;
    assert.eq r1 true;
    get.or_use num_winners[0u8] 0u8 into r2;
    lt r2 5u8 into r3;
    assert.eq r3 true;
    add r2 1u8 into r4;
    set r4 into num_winners[0u8];

Not implemented