---
namespace: Execute
expectation: Pass
outputs:
  - - initial_ast: 85f1861ca5f01910e0ed54a18f8f0b82c2322e47e05612113a060115f7264829
      unrolled_ast: 85f1861ca5f01910e0ed54a18f8f0b82c2322e47e05612113a060115f7264829
      ssa_ast: b4f0209f08878d12455bd616cd448b4743819d44d1014d5d6f4d2751a3483529
      flattened_ast: 1cac7e9104b100342a34786e2eddfdd372181306a2f9c46d804287ebfdcd30b6
      inlined_ast: 1cac7e9104b100342a34786e2eddfdd372181306a2f9c46d804287ebfdcd30b6
      dce_ast: b86c6b26d7a33ddba494e27775e0630cef0674a17903ce10366acb5a61cba9e7
      bytecode: f6aaf7f7a13fb233511385db7479f2612e7a77734ee6a189f063bd3d33a7afaa
      warnings: ""
      results:
        main:
          - input: "[1u32]"
            output: "[true]"
          - input: "[2u32]"
            output: "[true]"
          - input: "[3u32]"
            output: "[true]"
          - input: "[4u32]"
            output: "[false]"