program hien_program01.aleo;

record r1:
    owner as address.private;
    amount as u32.private;

mapping result:
    key as u32.public;
    value as u32.public;

mapping resultRecord:
    key as address.public;
    value as u32.public;

function do_record:
    input r0 as r1.record;
    input r1 as u32.private;
    add r0.amount r1 into r2;
    cast r0.owner r2 into r3 as r1.record;
    async do_record r3.owner r3.amount into r4;
    output r3 as r1.record;
    output r4 as hien_program01.aleo/do_record.future;
finalize do_record:
    input r0 as address.public;
    input r1 as u32.public;
    set r1 into resultRecord[r0];

function do_math:
    input r0 as u32.public;
    input r1 as u32.private;
    mul r0 r1 into r2;
    sub r2 r0 into r3;
    async do_math 1u32 r3 into r4;
    output r3 as u32.private;
    output r4 as hien_program01.aleo/do_math.future;
finalize do_math:
    input r0 as u32.public;
    input r1 as u32.public;
    add r0 1u32 into r2;
    add r1 100u32 into r3;
    set r3 into result[r2];
    add r0 2u32 into r4;
    add r1 101u32 into r5;
    set r5 into result[r4];

Not implemented