program rng.aleo;

record RandomNumberRecord:
    owner as address.private;
    gates as u64.private;
    random_number as u64.private;

function get_random_number:
    input r0 as address.private;
    input r1 as u64.private;
    input r2 as u64.private;
    input r3 as u64.private;
    is.neq r1 0u64 into r4;
    assert_eq r4 true;
    add 1u64 r3 into r5;
    sub r5 r2 into r6;
    mod r1 r6 into r7;
    add r2 r7 into r8;
    cast r0 0u64 r8 into r9 as RandomNumberRecord.record;
    output r9 as RandomNumberRecord.record;