program helloworld_hien25.aleo;

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

function main:
    input r0 as u32.public;
    input r1 as u32.private;
    add r0 r1 into r2;
    async main r2 into r3;
    output r2 as u32.private;
    output r3 as helloworld_hien25.aleo/main.future;
finalize main:
    input r0 as u32.public;
    add r0 100u32 into r1;
    set r1 into result[0u32];

function something_else:
    input r0 as u32.public;
    input r1 as u32.private;
    mul r0 r1 into r2;
    sub r2 r0 into r3;
    async something_else 1u32 r3 into r4;
    output r3 as u32.private;
    output r4 as helloworld_hien25.aleo/something_else.future;
finalize something_else:
    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];
    add r0 3u32 into r6;
    add r1 102u32 into r7;
    set r7 into result[r6];

Not implemented