# Stubs for miden::account tx kernel module

export.remove_asset
    push.1 
    assertz
end

export.add_asset
    push.1 
    assertz
end