import arc20_usdc.aleo;
import arcanetoken_v2_0.aleo;

program arc20_usdc_vault_v1.aleo;

struct ArcaneTokenInfo:
    token_id as u64;
    decimals as u8;
    max_supply as u128;
    admin as address;

function create_wrapped_token:
    call arcanetoken_v2_0.aleo/create_arcane_token 2u64 6u8 0u128 into r0;
    async create_wrapped_token r0 into r1;
    output r1 as arc20_usdc_vault_v1.aleo/create_wrapped_token.future;
finalize create_wrapped_token:
    input r0 as arcanetoken_v2_0.aleo/create_arcane_token.future;
    await r0;

function deposit_private_arc20_usdc:
    input r0 as arc20_usdc.aleo/token.record;
    input r1 as u128.private;
    input r2 as address.private;
    call arc20_usdc.aleo/transfer_private_to_public r0 aleo1pcl5gg9esgurh6v22dmd3kwuxm4kasywh8ejgcsnmjx5vea2p5zq4chlmr r1 into r3 r4;
    call arcanetoken_v2_0.aleo/mint_private 2u64 r2 r1 into r5 r6;
    async deposit_private_arc20_usdc r4 r6 into r7;
    output r5 as arcanetoken_v2_0.aleo/ArcaneToken.record;
    output r3 as arc20_usdc.aleo/token.record;
    output r7 as arc20_usdc_vault_v1.aleo/deposit_private_arc20_usdc.future;
finalize deposit_private_arc20_usdc:
    input r0 as arc20_usdc.aleo/transfer_private_to_public.future;
    input r1 as arcanetoken_v2_0.aleo/mint_private.future;
    await r0;
    await r1;

function withdraw_private_arc20_usdc:
    input r0 as arcanetoken_v2_0.aleo/ArcaneToken.record;
    input r1 as u128.private;
    input r2 as address.private;
    is.eq r0.token_id 2u64 into r3;
    assert.eq r3 true;
    call arc20_usdc.aleo/transfer_public_to_private r2 r1 into r4 r5;
    call arcanetoken_v2_0.aleo/burn_private r0 r1 into r6 r7;
    async withdraw_private_arc20_usdc r5 r7 into r8;
    output r4 as arc20_usdc.aleo/token.record;
    output r6 as arcanetoken_v2_0.aleo/ArcaneToken.record;
    output r8 as arc20_usdc_vault_v1.aleo/withdraw_private_arc20_usdc.future;
finalize withdraw_private_arc20_usdc:
    input r0 as arc20_usdc.aleo/transfer_public_to_private.future;
    input r1 as arcanetoken_v2_0.aleo/burn_private.future;
    await r0;
    await r1;

Not implemented