# The census of branchy_gcc_x64_O0: what `aa; pdd` renders for each function `afl` lists.
# Regenerate with `scripts/census.py golden` when `afl` moves, then bless.

NAME=afl
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=afl
EXPECT=<<EOF
0x00401000    3     27 sym._init
0x00401050    1     10 sym.imp.__stack_chk_fail
0x00401060    1     10 sym.imp.printf
0x00401070    1     37 sym._start
0x004010a0    1      5 sym._dl_relocate_static_pie
0x004010b0    4     31 sym.deregister_tm_clones
0x004010e0    4     49 sym.register_tm_clones
0x00401120    3     32 sym.__do_global_dtors_aux
0x00401150    1      6 sym.frame_dummy
0x00401156    4     34 sym.gate_one
0x00401178    6     49 sym.gate_three
0x004011a9    4     46 sym.affine_probe
0x004011d7    5     63 sym.paired_sum_diff
0x00401216    5     49 sym.mask_probe
0x00401247    5     63 sym.bounded_fetch
0x00401286    1     18 sym.narrow64
0x00401298    1     32 sym.widen_pair
0x004012b8    1     38 sym.sign_xor
0x004012de    4     50 sym.opaque_self_xor
0x00401310    1     18 sym.zero_of
0x00401322    4     43 sym.pure_zero_guard
0x0040134d    4     45 sym.global_eq_guard
0x0040137a    6     89 sym.slot_eq_guard
0x004013d3    1     39 sym.elem_at
0x004013fa    1     39 sym.elem_before
0x00401421    1     16 sym.narrow8
0x00401431    1     34 sym.rec_write
0x00401453    1     31 sym.triple_temp
0x00401472    1     61 sym.rec_spread
0x004014af    1     36 sym.half_stride
0x004014d3    1     90 sym.rec_index
0x0040152d    1     43 sym.wide_tail
0x00401558    4     56 sym.constant_branch
0x00401590    5     40 sym.and_chain
0x004015b8    4     57 sym.inverted_guard
0x004015f1    4     43 sym.and_chain_effect
0x0040161c    4     43 sym.inverted_void
0x00401647    4     50 sym.inverted_goto
0x00401679    3     51 sym.tail_guard
0x004016ac    1     48 sym.addr_chain
0x004016dc    1     51 sym.typed_compete
0x0040170f    8     85 sym.bool_relay
0x00401764    3   1029 sym.main
0x00401b6c    1     13 sym._fini
EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401000
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401000
EXPECT=<<EOF
uint64_t _init(void)
{
    uint64_t rax_1;
    uint64_t rax_3;

    /* r2dec proof: 3 constructs are marked below; 22 source obligations: 8 rendered, 10 elided, 0 refused, 4 residual; 6 statements rendered; 1 never assigned, read as residuals (RAX_2) */
    {
        rax_1 = r2sleigh_load_u64((void*)(uint64_t)0x403fe0U);
        if ((uint8_t)((uint64_t)rax_1 == (uint64_t)0U)) {
            rax_3 = rax_1;
            return (uint64_t)rax_3;
        } else {
            r2sleigh_residual_void(1); /* r2dec gap: CallNotRendered at 0x401014:4 covering 1 op (render::values): call to an indirect target: no arity is stated, only the registers written before it */
            r2sleigh_residual_void(2); /* r2dec gap: ValueNotComputed at 0x401014:11 covering 1 op (render::values) */
            rax_3 = r2sleigh_residual_u64(3);
            return (uint64_t)rax_3;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401050
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401050
EXPECT=<<EOF
/* r2sleigh: import stub at 0x401050; this symbol is the import `__stack_chk_fail` and has no body of its own. */
extern void __stack_chk_fail(void);

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401060
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401060
EXPECT=<<EOF
/* r2sleigh: import stub at 0x401060; this symbol is the import `printf` and has no body of its own. */
extern int32_t printf(const char*, ...);

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401070
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401070
EXPECT=<<EOF
void _start(void)
{
    uint64_t tmp_401079_0_2;

    /* r2dec proof: 5 constructs are marked below; 28 source obligations: 0 rendered, 6 elided, 0 refused, 22 residual; 1 statements rendered; 1 held from entry, read as residuals (stack_p0) */
    {
        tmp_401079_0_2 = r2sleigh_residual_u64(1);
        r2sleigh_residual_void(2); /* r2dec gap: StoreNotSpelled at 0x401070:29 covering 1 op (render::values) */
        r2sleigh_residual_void(3); /* r2dec gap: StoreNotSpelled at 0x401070:32 covering 1 op (render::values) */
        r2sleigh_residual_void(4); /* r2dec gap: CallNotRendered at 0x401070:68 covering 1 op (render::values): call to __libc_start_main: the import's declaration has an argument this convention does not place */
        r2sleigh_residual_void(5); /* r2dec gap: TransferNotFollowed at 0x401070 (render::control) */
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004010a0
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004010a0
EXPECT=<<EOF
void _dl_relocate_static_pie(void)
{
    /* r2dec proof: no individual construct is marked; 5 source obligations: 1 rendered, 4 elided, 0 refused; 1 statements rendered */
    {
        return;
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004010b0
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004010b0
EXPECT=<<EOF
uint64_t deregister_tm_clones(void)
{
    uint64_t rax_3;

    /* r2dec proof: no individual construct is marked; 8 source obligations: 5 rendered, 3 elided, 0 refused; 2 statements rendered */
    {
        rax_3 = 0x404020;
        {
            return (uint64_t)rax_3;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004010e0
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004010e0
EXPECT=<<EOF
uint64_t register_tm_clones(void)
{
    uint64_t rax_4;

    /* r2dec proof: no individual construct is marked; 10 source obligations: 7 rendered, 3 elided, 0 refused; 2 statements rendered */
    {
        rax_4 = 0;
        {
            return (uint64_t)rax_4;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401120
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401120
EXPECT=<<EOF
uint64_t __do_global_dtors_aux(void)
{
    void deregister_tm_clones(void);
    extern char __TMC_END__[];

    uint8_t tmp_401124_0_1;

    /* r2dec proof: 2 constructs are marked below; 24 source obligations: 8 rendered, 12 elided, 0 refused, 4 residual; 6 statements rendered; 1 data object type refused */
    {
        tmp_401124_0_1 = r2sleigh_load_u8((void*)&__TMC_END__);
        if ((uint8_t)((uint8_t)tmp_401124_0_1 != (uint8_t)0U)) {
            return r2sleigh_residual_u64(1);
        } else {
            deregister_tm_clones();
            r2sleigh_store_u8((void*)&__TMC_END__, (uint8_t)1U);
            return r2sleigh_residual_u64(2);
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401150
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401150
EXPECT=<<EOF
uint64_t frame_dummy(void)
{
    uint64_t register_tm_clones(void);

    /* r2dec proof: no individual construct is marked; 3 source obligations: 2 rendered, 1 elided, 0 refused; 1 statements rendered */
    {
        return register_tm_clones();
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401156
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401156
EXPECT=<<EOF
uint64_t gate_one(uint32_t arg0)
{
    uint64_t rax_3;

    /* r2dec proof: no individual construct is marked; 18 source obligations: 11 rendered, 7 elided, 0 refused; 5 statements rendered */
    {
        if ((uint8_t)((uint32_t)arg0 != (uint32_t)0xbeefU)) {
            rax_3 = 0;
            return (uint64_t)rax_3;
        } else {
            rax_3 = 1;
            return (uint64_t)rax_3;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401178
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401178
EXPECT=<<EOF
uint64_t gate_three(uint32_t arg0, uint32_t arg1, uint32_t arg2)
{
    uint64_t rax_3;

    /* r2dec proof: no individual construct is marked; 28 source obligations: 21 rendered, 7 elided, 0 refused; 5 statements rendered */
    {
        if ((uint8_t)((uint32_t)arg0 == (uint32_t)7U) && (uint8_t)((uint32_t)arg1 == (uint32_t)14U) && (uint8_t)((uint32_t)arg2 == (uint32_t)21U)) {
            rax_3 = 1;
            return (uint64_t)rax_3;
        } else {
            {
                rax_3 = 0;
                return (uint64_t)rax_3;
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004011a9
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004011a9
EXPECT=<<EOF
uint64_t affine_probe(uint32_t arg0)
{
    uint64_t rax_7;

    /* r2dec proof: no individual construct is marked; 21 source obligations: 14 rendered, 7 elided, 0 refused; 5 statements rendered */
    {
        if ((uint8_t)((uint32_t)((uint32_t)((uint32_t)arg0 + (uint32_t)arg0) + (uint32_t)arg0) != (uint32_t)45U)) {
            rax_7 = 0;
            return (uint64_t)rax_7;
        } else {
            rax_7 = 1;
            return (uint64_t)rax_7;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004011d7
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004011d7
EXPECT=<<EOF
uint64_t paired_sum_diff(uint32_t arg0, uint32_t arg1)
{
    uint32_t tmp_lane_4011f3_7_0_1;
    uint64_t rax_7;

    /* r2dec proof: no individual construct is marked; 25 source obligations: 18 rendered, 7 elided, 0 refused; 6 statements rendered; the result's second register is open: no call read decides it */
    {
        tmp_lane_4011f3_7_0_1 = (uint32_t)((uint32_t)arg0 - (uint32_t)arg1);
        if ((uint8_t)((uint32_t)((uint32_t)arg1 + (uint32_t)arg0) == (uint32_t)250U) && (uint8_t)((uint32_t)tmp_lane_4011f3_7_0_1 == (uint32_t)30U)) {
            rax_7 = 1;
            return (uint64_t)rax_7;
        } else {
            {
                rax_7 = 0;
                return (uint64_t)rax_7;
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401216
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401216
EXPECT=<<EOF
uint64_t mask_probe(uint8_t arg0)
{
    uint32_t tmp_lane_40121e_1_0_1;
    uint64_t rax_7;

    /* r2dec proof: no individual construct is marked; 27 source obligations: 20 rendered, 7 elided, 0 refused; 6 statements rendered */
    {
        tmp_lane_40121e_1_0_1 = (uint32_t)((uint64_t)(uint8_t)arg0 >> 0U);
        if ((uint8_t)((uint32_t)((uint32_t)tmp_lane_40121e_1_0_1 & (uint32_t)192U) == (uint32_t)64U) && (uint8_t)((uint32_t)((uint32_t)tmp_lane_40121e_1_0_1 & (uint32_t)7U) == (uint32_t)5U)) {
            rax_7 = 1;
            return (uint64_t)rax_7;
        } else {
            {
                rax_7 = 0;
                return (uint64_t)rax_7;
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401247
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401247
EXPECT=<<EOF
uint64_t bounded_fetch(uint32_t* arg0, uint32_t arg1, uint32_t arg2)
{
    uint32_t tmp_401282_0_1;
    uint64_t rax_8;

    /* r2dec proof: no individual construct is marked; 25 source obligations: 18 rendered, 7 elided, 0 refused; 6 statements rendered */
    {
        if ((uint8_t)((int32_t)arg1 >= (int32_t)0U) && (uint8_t)((int32_t)arg1 < (int32_t)arg2)) {
            tmp_401282_0_1 = r2sleigh_load_u32((void*)((uint64_t)arg0 + (uint64_t)(int32_t)arg1 * 4U));
            rax_8 = (uint64_t)(uint32_t)tmp_401282_0_1;
            return (uint64_t)rax_8;
        } else {
            {
                rax_8 = (uint64_t)0xffffffffU;
                return (uint64_t)rax_8;
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401286
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401286
EXPECT=<<EOF
uint64_t narrow64(uint64_t arg0)
{
    /* r2dec proof: no individual construct is marked; 10 source obligations: 3 rendered, 7 elided, 0 refused; 1 statements rendered */
    {
        return (uint64_t)arg0;
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401298
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401298
EXPECT=<<EOF
uint64_t widen_pair(uint32_t arg0, uint32_t arg1)
{
    /* r2dec proof: no individual construct is marked; 13 source obligations: 6 rendered, 7 elided, 0 refused; 1 statements rendered; the result's second register is open: no call read decides it */
    {
        return (uint64_t)((uint64_t)((uint64_t)(uint32_t)32U >= (uint64_t)64U ? (uint64_t)0U : (uint64_t)((uint64_t)(uint32_t)arg0 << (uint64_t)(uint32_t)32U)) | (uint64_t)(uint32_t)arg1);
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004012b8
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004012b8
EXPECT=<<EOF
uint32_t sign_xor(uint32_t arg0, uint32_t arg1)
{
    /* r2dec proof: no individual construct is marked; 14 source obligations: 7 rendered, 7 elided, 0 refused; 1 statements rendered; the result's second register is open: no call read decides it */
    {
        return (uint32_t)((uint32_t)(uint8_t)((int32_t)0U < (int32_t)arg0) ^ (uint32_t)(uint8_t)((int32_t)0U < (int32_t)arg1));
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004012de
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004012de
EXPECT=<<EOF
uint64_t opaque_self_xor(uint32_t arg0)
{
    extern char g_opaque[];

    uint32_t tmp_lane_4012f2_0_0_1;
    uint32_t tmp_lane_4012f8_0_0_1;
    uint64_t rax_5;

    /* r2dec proof: no individual construct is marked; 22 source obligations: 15 rendered, 7 elided, 0 refused; 8 statements rendered; 1 data object type refused; the result's second register is open: no call read decides it */
    {
        r2sleigh_store_u32((void*)&g_opaque, (uint32_t)arg0);
        tmp_lane_4012f2_0_0_1 = r2sleigh_load_u32((void*)&g_opaque);
        tmp_lane_4012f8_0_0_1 = r2sleigh_load_u32((void*)&g_opaque);
        if ((uint8_t)((uint32_t)tmp_lane_4012f2_0_0_1 == (uint32_t)tmp_lane_4012f8_0_0_1)) {
            rax_5 = 0;
            return (uint64_t)rax_5;
        } else {
            rax_5 = 1;
            return (uint64_t)rax_5;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401310
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401310
EXPECT=<<EOF
uint64_t zero_of(void)
{
    /* r2dec proof: no individual construct is marked; 10 source obligations: 3 rendered, 7 elided, 0 refused; 1 statements rendered */
    {
        return 0;
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401322
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401322
EXPECT=<<EOF
uint64_t pure_zero_guard(void)
{
    uint64_t zero_of(void);

    uint64_t rax_2;
    uint64_t rax_5;

    /* r2dec proof: no individual construct is marked; 24 source obligations: 14 rendered, 10 elided, 0 refused; 6 statements rendered */
    {
        rax_2 = zero_of();
        if ((uint8_t)((uint32_t)((uint64_t)rax_2 >> 0U) == (uint32_t)0U)) {
            rax_5 = 0;
            return (uint64_t)rax_5;
        } else {
            rax_5 = 1;
            return (uint64_t)rax_5;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x0040134d
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x0040134d
EXPECT=<<EOF
uint64_t global_eq_guard(uint32_t arg0)
{
    extern char g_opaque[];

    uint32_t tmp_lane_401361_0_0_1;
    uint64_t rax_5;

    /* r2dec proof: no individual construct is marked; 21 source obligations: 14 rendered, 7 elided, 0 refused; 7 statements rendered; 1 data object type refused */
    {
        r2sleigh_store_u32((void*)&g_opaque, (uint32_t)arg0);
        tmp_lane_401361_0_0_1 = r2sleigh_load_u32((void*)&g_opaque);
        if ((uint8_t)((uint32_t)tmp_lane_401361_0_0_1 != (uint32_t)11U)) {
            rax_5 = 0;
            return (uint64_t)rax_5;
        } else {
            rax_5 = 1;
            return (uint64_t)rax_5;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x0040137a
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x0040137a
EXPECT=<<EOF
uint64_t slot_eq_guard(uint32_t arg0)
{
    uint64_t rax_9;

    /* r2dec proof: no individual construct is marked; 22 source obligations: 12 rendered, 7 elided, 0 refused, 3 compiler-inserted (assuming ub-free); 2 statements rendered; the result's second register is open: no call read decides it */
    {
        rax_9 = (uint8_t)((uint32_t)arg0 != (uint32_t)11U) ? 0 : 1;
        {
            {
                return (uint64_t)rax_9;
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004013d3
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004013d3
EXPECT=<<EOF
uint32_t elem_at(uint32_t* arg0, uint32_t arg1)
{
    /* r2dec proof: no individual construct is marked; 14 source obligations: 7 rendered, 7 elided, 0 refused; 1 statements rendered; the result's second register is open: no call read decides it */
    {
        return (uint32_t)r2sleigh_load_u32((void*)((uint64_t)arg0 + (uint64_t)(int32_t)arg1 * 4U));
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004013fa
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004013fa
EXPECT=<<EOF
uint32_t elem_before(uint32_t* arg0, uint32_t arg1)
{
    /* r2dec proof: no individual construct is marked; 15 source obligations: 8 rendered, 7 elided, 0 refused; 1 statements rendered; the result's second register is open: no call read decides it */
    {
        return (uint32_t)r2sleigh_load_u32((void*)((uint64_t)arg0 + (uint64_t)((uint64_t)(int32_t)arg1 - (uint64_t)1U) * 4U));
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401421
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401421
EXPECT=<<EOF
uint32_t narrow8(uint32_t arg0)
{
    /* r2dec proof: no individual construct is marked; 9 source obligations: 2 rendered, 7 elided, 0 refused; 1 statements rendered */
    {
        return (uint32_t)arg0;
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401431
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401431
EXPECT=<<EOF
uint32_t rec_write(uint32_t* arg0, uint32_t arg1)
{
    /* r2dec proof: no individual construct is marked; 14 source obligations: 7 rendered, 7 elided, 0 refused; 2 statements rendered */
    {
        r2sleigh_store_u32((void*)((uint64_t)arg0 + (uint64_t)1U * 4U), (uint32_t)arg1);
        return (uint32_t)r2sleigh_load_u32((void*)((uint64_t)arg0 + (uint64_t)1U * 4U));
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401453
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401453
EXPECT=<<EOF
uint32_t triple_temp(uint32_t arg0)
{
    uint32_t tmp_lane_401461_6_0_1;

    /* r2dec proof: no individual construct is marked; 12 source obligations: 5 rendered, 7 elided, 0 refused; 2 statements rendered; the result's second register is open: no call read decides it */
    {
        tmp_lane_401461_6_0_1 = (uint32_t)((uint32_t)arg0 + (uint32_t)2U);
        return (uint32_t)((uint32_t)((uint32_t)tmp_lane_401461_6_0_1 + (uint32_t)tmp_lane_401461_6_0_1) + (uint32_t)tmp_lane_401461_6_0_1);
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401472
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401472
EXPECT=<<EOF
struct fcn_401472_arg0 {
    uint32_t f_0;
    uint8_t _pad_4[4];
    uint64_t f_8;
};

uint32_t rec_spread(struct fcn_401472_arg0* arg0, uint32_t arg1)
{
    uint64_t tmp_40149f_8_1;
    uint32_t tmp_4014a9_0_1;

    /* r2dec proof: no individual construct is marked; 21 source obligations: 14 rendered, 7 elided, 0 refused; 5 statements rendered; the result's second register is open: no call read decides it; 1 structure laid out from a parameter's accesses */
    {
        r2sleigh_store_u32((void*)&arg0->f_0, (uint32_t)arg1);
        r2sleigh_store_u64((void*)&arg0->f_8, (uint64_t)(int32_t)((uint32_t)arg1 + (uint32_t)9U));
        tmp_40149f_8_1 = r2sleigh_load_u64((void*)&arg0->f_8);
        tmp_4014a9_0_1 = r2sleigh_load_u32((void*)&arg0->f_0);
        return (uint32_t)((uint32_t)((uint64_t)tmp_40149f_8_1 >> 0U) + (uint32_t)tmp_4014a9_0_1);
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004014af
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004014af
EXPECT=<<EOF
uint32_t half_stride(uint16_t* arg0, uint32_t arg1)
{
    uint16_t tmp_4014ce_0_1;

    /* r2dec proof: no individual construct is marked; 15 source obligations: 8 rendered, 7 elided, 0 refused; 2 statements rendered; the result's second register is open: no call read decides it */
    {
        tmp_4014ce_0_1 = r2sleigh_load_u16((void*)((uint64_t)arg0 + (uint64_t)(int32_t)arg1 * 2U));
        return (uint32_t)(uint16_t)tmp_4014ce_0_1;
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004014d3
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004014d3
EXPECT=<<EOF
uint32_t rec_index(uint32_t* arg0, uint32_t arg1, uint32_t arg2)
{
    uint32_t tmp_401511_8_1;
    uint32_t tmp_401527_0_1;

    /* r2dec proof: no individual construct is marked; 26 source obligations: 19 rendered, 7 elided, 0 refused; 4 statements rendered; the result's second register is open: no call read decides it */
    {
        r2sleigh_store_u32((void*)((uint64_t)arg0 + (uint64_t)((uint64_t)((uint64_t)(int32_t)arg1 * (uint64_t)4U) + (uint64_t)1U) * 4U), (uint32_t)arg2);
        tmp_401511_8_1 = r2sleigh_load_u32((void*)((uint64_t)arg0 + (uint64_t)((uint64_t)((uint64_t)(int32_t)arg1 * (uint64_t)4U) + (uint64_t)1U) * 4U));
        tmp_401527_0_1 = r2sleigh_load_u32((void*)((uint64_t)arg0 + (uint64_t)((uint64_t)(int32_t)arg1 * (uint64_t)4U) * 4U));
        return (uint32_t)((uint32_t)tmp_401527_0_1 + (uint32_t)tmp_401511_8_1);
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x0040152d
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x0040152d
EXPECT=<<EOF
uint32_t wide_tail(uint32_t* arg0, uint32_t arg1)
{
    uint32_t tmp_40154d_8_1;

    /* r2dec proof: no individual construct is marked; 15 source obligations: 8 rendered, 7 elided, 0 refused; 3 statements rendered */
    {
        r2sleigh_store_u32((void*)((uint64_t)arg0 + (uint64_t)96U * 4U), (uint32_t)arg1);
        tmp_40154d_8_1 = r2sleigh_load_u32((void*)((uint64_t)arg0 + (uint64_t)96U * 4U));
        return (uint32_t)((uint32_t)tmp_40154d_8_1 + (uint32_t)2U);
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401558
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401558
EXPECT=<<EOF
uint32_t constant_branch(uint32_t arg0)
{
    uint64_t rax_7;

    /* r2dec proof: no individual construct is marked; 13 source obligations: 6 rendered, 7 elided, 0 refused; 2 statements rendered */
    {
        {
            rax_7 = (uint64_t)(uint32_t)((uint32_t)arg0 + (uint32_t)25U);
            {
                return (uint32_t)rax_7;
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401590
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401590
EXPECT=<<EOF
uint64_t and_chain(uint32_t arg0, uint32_t arg1)
{
    uint64_t rax_3;

    /* r2dec proof: no individual construct is marked; 19 source obligations: 12 rendered, 7 elided, 0 refused; 5 statements rendered */
    {
        if ((uint8_t)((uint32_t)arg0 != (uint32_t)0U) && (uint8_t)((uint32_t)arg1 != (uint32_t)0U)) {
            rax_3 = 1;
            return (uint64_t)rax_3;
        } else {
            {
                rax_3 = 0;
                return (uint64_t)rax_3;
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004015b8
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004015b8
EXPECT=<<EOF
uint64_t inverted_guard(uint32_t arg0)
{
    extern char g_sink[];
    extern char g_note[];

    uint64_t rax_5;
    uint64_t rax_7;

    /* r2dec proof: no individual construct is marked; 21 source obligations: 14 rendered, 7 elided, 0 refused; 8 statements rendered; 2 data object types refused */
    {
        if ((uint8_t)((int32_t)arg0 <= (int32_t)9U)) {
            rax_7 = (uint64_t)0xffffffffU;
            return (uint64_t)rax_7;
        } else {
            r2sleigh_store_u64((void*)&g_note, (uint64_t)(int32_t)((uint32_t)arg0 + (uint32_t)2U));
            r2sleigh_store_u32((void*)&g_sink, (uint32_t)arg0);
            rax_5 = r2sleigh_load_u64((void*)&g_note);
            rax_7 = rax_5;
            return (uint64_t)rax_7;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004015f1
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004015f1
EXPECT=<<EOF
uint64_t and_chain_effect(uint32_t arg0, uint32_t arg1)
{
    extern char g_sink[];

    /* r2dec proof: 1 construct is marked below; 18 source obligations: 8 rendered, 8 elided, 0 refused, 2 residual; 3 statements rendered; 1 data object type refused */
    {
        if ((uint8_t)((uint32_t)arg0 != (uint32_t)0U) && (uint8_t)((uint32_t)arg1 != (uint32_t)0U)) {
            r2sleigh_store_u32((void*)&g_sink, (uint32_t)((uint32_t)arg1 + (uint32_t)arg0));
        } else {
        }
        {
            return r2sleigh_residual_u64(1);
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x0040161c
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x0040161c
EXPECT=<<EOF
uint64_t inverted_void(uint32_t arg0)
{
    extern char g_sink[];
    extern char g_note[];

    /* r2dec proof: 1 construct is marked below; 17 source obligations: 7 rendered, 8 elided, 0 refused, 2 residual; 4 statements rendered; 2 data object types refused */
    {
        if ((uint8_t)((int32_t)arg0 <= (int32_t)9U)) {
        } else {
            r2sleigh_store_u64((void*)&g_note, (uint64_t)(int32_t)arg0);
            r2sleigh_store_u32((void*)&g_sink, (uint32_t)arg0);
        }
        {
            return r2sleigh_residual_u64(1);
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401647
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401647
EXPECT=<<EOF
uint64_t inverted_goto(uint32_t arg0)
{
    extern char g_sink[];
    extern char g_note[];

    /* r2dec proof: no individual construct is marked; 19 source obligations: 11 rendered, 8 elided, 0 refused; 4 statements rendered; 2 data object types refused */
    {
        if ((uint8_t)((int32_t)arg0 <= (int32_t)9U)) {
        } else {
            r2sleigh_store_u64((void*)&g_note, (uint64_t)(int32_t)arg0);
            r2sleigh_store_u32((void*)&g_sink, (uint32_t)arg0);
        }
        {
            return (uint64_t)r2sleigh_load_u64((void*)&g_note);
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401679
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401679
EXPECT=<<EOF
uint64_t tail_guard(uint32_t arg0)
{
    extern char g_sink[];
    extern char g_note[];

    /* r2dec proof: no individual construct is marked; 18 source obligations: 11 rendered, 7 elided, 0 refused; 4 statements rendered; 2 data object types refused */
    {
        if ((uint8_t)((int32_t)arg0 <= (int32_t)9U)) {
        } else {
            r2sleigh_store_u64((void*)&g_note, (uint64_t)(int32_t)((uint32_t)arg0 + (uint32_t)20U));
            r2sleigh_store_u32((void*)&g_sink, (uint32_t)((uint32_t)arg0 - (uint32_t)3U));
        }
        {
            return 0;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004016ac
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004016ac
EXPECT=<<EOF
uint32_t addr_chain(void)
{
    /* r2dec proof: no individual construct is marked; 10 source obligations: 3 rendered, 7 elided, 0 refused; 1 statements rendered */
    {
        return 1;
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x004016dc
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x004016dc
EXPECT=<<EOF
uint32_t typed_compete(uint32_t arg0)
{
    extern char g_sink[];
    extern char g_note[];

    uint64_t rax_4;
    uint32_t tmp_lane_401705_0_0_1;

    /* r2dec proof: no individual construct is marked; 18 source obligations: 11 rendered, 7 elided, 0 refused; 5 statements rendered; 2 data object types refused; the result's second register is open: no call read decides it */
    {
        r2sleigh_store_u32((void*)&g_sink, (uint32_t)arg0);
        r2sleigh_store_u64((void*)&g_note, (uint64_t)(int32_t)arg0);
        rax_4 = r2sleigh_load_u64((void*)&g_note);
        tmp_lane_401705_0_0_1 = r2sleigh_load_u32((void*)&g_sink);
        return (uint32_t)((uint32_t)((uint64_t)rax_4 >> 0U) + (uint32_t)tmp_lane_401705_0_0_1);
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x0040170f
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x0040170f
EXPECT=<<EOF
uint64_t bool_relay(uint32_t arg0, uint32_t arg1)
{
    uint32_t tmp_lane_401724_0_1_1;
    uint32_t tmp_lane_401731_0_1_1;
    uint64_t rax_8;

    /* r2dec proof: no individual construct is marked; 32 source obligations: 25 rendered, 7 elided, 0 refused; 10 statements rendered */
    {
        tmp_lane_401724_0_1_1 = (uint32_t)(uint8_t)((int32_t)0U < (int32_t)arg0);
        tmp_lane_401731_0_1_1 = (uint32_t)(uint8_t)((int32_t)0U < (int32_t)arg1);
        if ((uint8_t)((uint32_t)tmp_lane_401724_0_1_1 != (uint32_t)0U) && (uint8_t)((uint32_t)tmp_lane_401731_0_1_1 != (uint32_t)0U)) {
            rax_8 = 2;
            return (uint64_t)rax_8;
        } else {
        }
        {
            if ((uint8_t)((uint32_t)tmp_lane_401724_0_1_1 == (uint32_t)0U) && (uint8_t)((uint32_t)tmp_lane_401731_0_1_1 == (uint32_t)0U)) {
                rax_8 = 0;
                return (uint64_t)rax_8;
            } else {
            }
            {
                rax_8 = 1;
            }
        }
        {
            return (uint64_t)rax_8;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401764
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401764
EXPECT=<<EOF
uint64_t fcn_401764(void)
{
    uint32_t addr_chain(void);
    uint64_t affine_probe(uint32_t);
    uint64_t and_chain(uint32_t, uint32_t);
    uint64_t and_chain_effect(uint32_t, uint32_t);
    uint64_t bool_relay(uint32_t, uint32_t);
    uint64_t bounded_fetch(uint64_t, uint32_t, uint32_t);
    uint32_t constant_branch(uint32_t);
    uint32_t elem_at(uint64_t, uint32_t);
    uint32_t elem_before(uint64_t, uint32_t);
    uint64_t gate_one(uint32_t);
    uint64_t gate_three(uint32_t, uint32_t, uint32_t);
    uint64_t global_eq_guard(uint32_t);
    uint32_t half_stride(uint64_t, uint32_t);
    uint64_t inverted_goto(uint32_t);
    uint64_t inverted_guard(uint32_t);
    uint64_t inverted_void(uint32_t);
    uint64_t mask_probe(uint8_t);
    uint64_t narrow64(uint64_t);
    uint32_t narrow8(uint32_t);
    uint64_t opaque_self_xor(uint32_t);
    uint64_t paired_sum_diff(uint32_t, uint32_t);
    int32_t printf(const char*, ...);
    uint64_t pure_zero_guard(void);
    uint32_t rec_index(uint64_t, uint32_t, uint32_t);
    uint32_t rec_spread(uint64_t, uint32_t);
    uint32_t rec_write(uint64_t, uint32_t);
    uint32_t sign_xor(uint32_t, uint32_t);
    uint64_t slot_eq_guard(uint32_t);
    uint64_t tail_guard(uint32_t);
    uint32_t triple_temp(uint32_t);
    uint32_t typed_compete(uint32_t);
    uint32_t wide_tail(uint64_t, uint32_t);
    uint64_t widen_pair(uint32_t, uint32_t);

    uint64_t rax_6;
    uint64_t rbx_1;
    uint64_t rax_7;
    uint64_t rax_8;
    uint64_t rax_9;
    uint32_t tmp_4018ae_8_1;
    uint64_t rdx_7;
    uint32_t tmp_4018b4_8_1;
    uint32_t tmp_4018ba_8_1;
    uint64_t rsi_5;
    uint64_t rax_11;
    uint32_t tmp_4018cc_8_1;
    uint64_t rax_13;
    uint64_t rax_17;
    uint32_t tmp_40190f_8_1;
    uint64_t rax_19;
    uint64_t rax_20;
    uint64_t rax_21;
    uint64_t rax_23;
    uint64_t rax_26;
    uint64_t rax_28;
    uint64_t rax_30;
    uint64_t rax_31;
    uint64_t rax_32;
    uint64_t rax_36;
    uint64_t rbx_4;
    uint64_t rax_38;
    uint64_t rax_40;
    uint64_t rax_42;
    uint32_t tmp_401a41_8_1;
    uint64_t rax_44;
    uint64_t rax_46;
    uint64_t rax_49;
    uint64_t rax_50;
    uint64_t rax_51;
    uint64_t rax_52;
    uint32_t tmp_401ac3_8_1;
    uint64_t rax_54;
    uint64_t rax_59;
    uint32_t tmp_401b17_8_1;
    uint64_t rdi_45;
    uint64_t rax_61;
    uint64_t rax_62;
    _Alignas(16) uint8_t frame[568];

    /* r2dec proof: no individual construct is marked; 555 source obligations: 367 rendered, 171 elided, 0 refused, 5 compiler-inserted (assuming ub-free), 12 assumed (frame extent unproven); 82 statements rendered; 6 callee prototypes supplied by the source; the result's second register is open: no call read decides it */
    /* symbol `main`; C allows that name no other prototype */
    {
        r2sleigh_store_u64((void*)(uint64_t)(frame + 48U), (uint64_t)0U);
        r2sleigh_store_u64((void*)((uint64_t)(frame + 48U) + (uint64_t)8U), (uint64_t)0U);
        {
            uint64_t transferred = 0U;
            uint64_t to = (uint64_t)((uint64_t)(frame + 80U) + (uint64_t)32U);
            uint64_t from = (uint64_t)0x4020a0U;
            uint64_t count = (uint64_t)48U;
            while (transferred != count) {
                r2sleigh_store_u64((void*)(uint64_t)(to + (uint64_t)transferred * (uint64_t)8U), r2sleigh_load_u64((void*)(uint64_t)(from + (uint64_t)transferred * (uint64_t)8U)));
                transferred = transferred + 1U;
            }
        }
        r2sleigh_store_u32((void*)((uint64_t)(frame + 80U) + (uint64_t)0x1a0U), (uint32_t)r2sleigh_load_u32((void*)(uint64_t)0x402220U));
        r2sleigh_store_u32((void*)(uint64_t)(frame + 80U), (uint32_t)1U);
        r2sleigh_store_u32((void*)((uint64_t)(frame + 80U) + (uint64_t)4U), (uint32_t)2U);
        r2sleigh_store_u32((void*)((uint64_t)(frame + 80U) + (uint64_t)8U), (uint32_t)3U);
        r2sleigh_store_u32((void*)((uint64_t)(frame + 80U) + (uint64_t)12U), (uint32_t)4U);
        r2sleigh_store_u32((void*)((uint64_t)(frame + 80U) + (uint64_t)16U), (uint32_t)5U);
        r2sleigh_store_u32((void*)((uint64_t)(frame + 80U) + (uint64_t)20U), (uint32_t)6U);
        r2sleigh_store_u32((void*)((uint64_t)(frame + 80U) + (uint64_t)24U), (uint32_t)7U);
        r2sleigh_store_u32((void*)((uint64_t)(frame + 80U) + (uint64_t)28U), (uint32_t)8U);
        r2sleigh_store_u16((void*)((uint64_t)(frame + 48U) + (uint64_t)16U), (uint16_t)9U);
        r2sleigh_store_u16((void*)((uint64_t)(frame + 48U) + (uint64_t)18U), (uint16_t)8U);
        r2sleigh_store_u16((void*)((uint64_t)(frame + 48U) + (uint64_t)20U), (uint16_t)7U);
        r2sleigh_store_u16((void*)((uint64_t)(frame + 48U) + (uint64_t)22U), (uint16_t)6U);
        r2sleigh_store_u16((void*)((uint64_t)(frame + 48U) + (uint64_t)24U), (uint16_t)5U);
        r2sleigh_store_u16((void*)((uint64_t)(frame + 48U) + (uint64_t)26U), (uint16_t)4U);
        r2sleigh_store_u16((void*)((uint64_t)(frame + 48U) + (uint64_t)28U), (uint16_t)3U);
        r2sleigh_store_u16((void*)((uint64_t)(frame + 48U) + (uint64_t)30U), (uint16_t)2U);
        r2sleigh_store_u32((void*)(uint64_t)(frame + 44U), (uint32_t)5U);
        rax_6 = bounded_fetch((uint64_t)(frame + 80U), 3, 8);
        rbx_1 = (uint64_t)(uint32_t)((uint64_t)rax_6 >> 0U);
        rax_7 = mask_probe(69);
        rax_8 = paired_sum_diff(140, 110);
        rax_9 = affine_probe(15);
        tmp_4018ae_8_1 = r2sleigh_load_u32((void*)(uint64_t)(frame + 44U));
        rdx_7 = (uint64_t)(uint32_t)tmp_4018ae_8_1;
        tmp_4018b4_8_1 = r2sleigh_load_u32((void*)(uint64_t)(frame + 44U));
        tmp_4018ba_8_1 = r2sleigh_load_u32((void*)(uint64_t)(frame + 44U));
        rsi_5 = (uint64_t)(uint32_t)tmp_4018b4_8_1;
        rax_11 = gate_three((uint32_t)tmp_4018ba_8_1, (uint32_t)rsi_5, (uint32_t)rdx_7);
        tmp_4018cc_8_1 = r2sleigh_load_u32((void*)(uint64_t)(frame + 44U));
        rax_13 = gate_one((uint32_t)tmp_4018cc_8_1);
        r2sleigh_store_u64((void*)(uint64_t)(frame + 16U), (uint64_t)rbx_1);
        printf("%d %d %d %d %d %d\n", (uint64_t)(uint32_t)((uint64_t)rax_13 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_11 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_9 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_8 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_7 >> 0U), rbx_1);
        (void)r2sleigh_load_u32((void*)(uint64_t)(frame + 44U));
        rax_17 = pure_zero_guard();
        tmp_40190f_8_1 = r2sleigh_load_u32((void*)(uint64_t)(frame + 44U));
        rax_19 = opaque_self_xor((uint32_t)tmp_40190f_8_1);
        rax_20 = (uint64_t)sign_xor(1, (uint32_t)0xffffffffU);
        rax_21 = widen_pair(1, 2);
        rax_23 = narrow64((uint64_t)0x1122334455667788U);
        printf("%u %llu %d %d %d\n", (uint64_t)(uint32_t)((uint64_t)rax_23 >> 0U), rax_21, (uint64_t)(uint32_t)((uint64_t)rax_20 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_19 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_17 >> 0U));
        rax_26 = (uint64_t)narrow8(0x1234);
        rax_28 = (uint64_t)elem_before((uint64_t)(frame + 80U), 2);
        rax_30 = (uint64_t)elem_at((uint64_t)(frame + 80U), 2);
        rax_31 = slot_eq_guard(11);
        rax_32 = global_eq_guard(11);
        printf("%d %d %d %d %u\n", (uint64_t)(uint32_t)((uint64_t)rax_32 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_31 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_30 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_28 >> 0U), (uint64_t)(uint8_t)((uint64_t)rax_26 >> 0U));
        rax_36 = (uint64_t)wide_tail((uint64_t)((uint64_t)(frame + 80U) + (uint64_t)32U), 8);
        rbx_4 = (uint64_t)(uint32_t)((uint64_t)rax_36 >> 0U);
        rax_38 = (uint64_t)rec_index((uint64_t)(frame + 48U), 0, 6);
        rax_40 = (uint64_t)half_stride((uint64_t)((uint64_t)(frame + 48U) + (uint64_t)16U), 1);
        rax_42 = (uint64_t)rec_spread((uint64_t)(frame + 48U), 3);
        tmp_401a41_8_1 = r2sleigh_load_u32((void*)(uint64_t)(frame + 44U));
        rax_44 = (uint64_t)triple_temp((uint32_t)tmp_401a41_8_1);
        rax_46 = (uint64_t)rec_write((uint64_t)(frame + 48U), 4);
        r2sleigh_store_u64((void*)(uint64_t)(frame + 16U), (uint64_t)rbx_4);
        printf("%d %d %d %u %d %d\n", (uint64_t)(uint32_t)((uint64_t)rax_46 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_44 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_42 >> 0U), (uint64_t)(uint16_t)((uint64_t)rax_40 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_38 >> 0U), rbx_4);
        rax_49 = tail_guard(20);
        rax_50 = inverted_goto(20);
        rax_51 = inverted_guard(20);
        rax_52 = and_chain(1, 1);
        tmp_401ac3_8_1 = r2sleigh_load_u32((void*)(uint64_t)(frame + 44U));
        rax_54 = (uint64_t)constant_branch((uint32_t)tmp_401ac3_8_1);
        printf("%d %d %d %d %d\n", (uint64_t)(uint32_t)((uint64_t)rax_54 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_52 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_51 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_50 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_49 >> 0U));
        inverted_void(20);
        and_chain_effect(1, 1);
        rax_59 = bool_relay(1, 1);
        tmp_401b17_8_1 = r2sleigh_load_u32((void*)(uint64_t)(frame + 44U));
        rdi_45 = (uint64_t)(uint32_t)tmp_401b17_8_1;
        rax_61 = (uint64_t)typed_compete((uint32_t)rdi_45);
        rax_62 = (uint64_t)addr_chain();
        printf("%d %d %d\n", (uint64_t)(uint32_t)((uint64_t)rax_62 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_61 >> 0U), (uint64_t)(uint32_t)((uint64_t)rax_59 >> 0U));
        {
            return 0;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x00401b6c
FILE=tests/coverage/pinned/branchy_gcc_x64_O0
CMDS=aa; pdd @ 0x00401b6c
EXPECT=<<EOF
void _fini(void)
{
    /* r2dec proof: no individual construct is marked; 7 source obligations: 1 rendered, 6 elided, 0 refused; 1 statements rendered */
    {
        return;
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN
