---
namespace: Execute
expectation: Pass
outputs:
  - - initial_symbol_table: f0d2afa4d98b92d9a3411f56b600028d250d068eb37142ddcbf1829bbc83f393
      type_checked_symbol_table: 538833491862c70880a4292ef436391c2be4483e6bd4c144c53d1dbbe3d58740
      unrolled_symbol_table: 538833491862c70880a4292ef436391c2be4483e6bd4c144c53d1dbbe3d58740
      initial_ast: e37f759d9be4e62c86f5ebe496ef89afdf7b693b8b75a5ce9712fe46583c05e4
      unrolled_ast: ad341677d014152262b054cdb7a6353e36b67965d0b05bff4d51174644b2eb30
      ssa_ast: e2f116a7a2658f59116998616f46476406fd9b25967cf5763c9ad81782ba542b
      flattened_ast: a4db069331b491cdbb6e4335f786f5f5f6fcc58e70b7ad12e76977041f664be7
      inlined_ast: a4db069331b491cdbb6e4335f786f5f5f6fcc58e70b7ad12e76977041f664be7
      dce_ast: a4db069331b491cdbb6e4335f786f5f5f6fcc58e70b7ad12e76977041f664be7
      bytecode: d47819ba59e730eb159ee9e33fef5a35aac6062e70c743a749157d54824a45d9
      warnings: ""
      results:
        mint:
          - input: "[aleo14lskz87tkqwwkyt2z44h64ave5gcwqs6yyfdztus37nupxsj8ypsmqsqcs, 0u64]"
            output: "[{\n  owner: aleo14lskz87tkqwwkyt2z44h64ave5gcwqs6yyfdztus37nupxsj8ypsmqsqcs.private,\n  amount: 0u64.private,\n  flag: true.constant,\n  \n}]"
          - input: "[aleo12keuztkg4cjzxx7hwwmrnnv85dkeqf8pjm877lf6f6lupma2pqrqcl2d8q, 1u64]"
            output: "[{\n  owner: aleo12keuztkg4cjzxx7hwwmrnnv85dkeqf8pjm877lf6f6lupma2pqrqcl2d8q.private,\n  amount: 1u64.private,\n  flag: true.constant,\n  \n}]"