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

NAME=afl
FILE=tests/fixtures/manual_limits_O2
CMDS=afl
EXPECT=<<EOF
0x1000004a8    3     56 sym._struct_nested_array
0x1000004e0    8    180 sym._out_param_parse
0x100000594    4     72 sym._fnv_fold
0x1000005dc   14    116 sym._sparse_switch
0x100000650   16    120 sym._table_walk
0x1000006c8   32    276 sym._state_machine
0x1000007dc   16    880 sym._mem_scan2
0x100000b4c   10    368 sym._main
EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x1000004a8
FILE=tests/fixtures/manual_limits_O2
CMDS=aa; pdd @ 0x1000004a8
EXPECT=<<EOF
uint32_t _struct_nested_array(void* arg0, uint32_t arg1, uint32_t arg2)
{
    uint64_t x8_2;
    uint32_t tmp_1000004b0_8_1;
    uint32_t tmp_1000004b4_4_1;
    uint16_t tmp_1000004bc_8_1;
    uint32_t tmp_1000004c4_8_1;
    uint16_t tmp_1000004c8_8_1;
    uint32_t tmp_1000004d4_8_1;

    /* r2dec proof: no individual construct is marked; 36 source obligations: 36 rendered, 0 elided, 0 refused; 11 statements rendered */
    {
        x8_2 = (uint64_t)((uint64_t)((uint64_t)(int32_t)arg1 * (uint64_t)40U) + (uint64_t)arg0);
        tmp_1000004b0_8_1 = r2sleigh_load_u32((void*)((uint64_t)x8_2 + (uint64_t)4U * 4U));
        tmp_1000004b4_4_1 = (uint32_t)((uint32_t)tmp_1000004b0_8_1 + (uint32_t)arg2);
        r2sleigh_store_u32((void*)((uint64_t)x8_2 + (uint64_t)4U * 4U), (uint32_t)tmp_1000004b4_4_1);
        tmp_1000004bc_8_1 = r2sleigh_load_u16((void*)((uint64_t)x8_2 + (uint64_t)2U * 2U));
        if ((uint8_t)((uint32_t)((uint32_t)((uint32_t)2U >= (uint32_t)32U ? (uint32_t)0U : (uint32_t)((uint32_t)((uint64_t)(uint16_t)tmp_1000004bc_8_1 >> 0U) >> (uint32_t)2U)) & (uint32_t)1U) != (uint32_t)0U)) {
            tmp_1000004d4_8_1 = r2sleigh_load_u32((void*)x8_2);
            return (uint32_t)((uint32_t)tmp_1000004d4_8_1 + (uint32_t)tmp_1000004b4_4_1);
        } else {
            tmp_1000004c4_8_1 = r2sleigh_load_u32((void*)((uint64_t)x8_2 + (uint64_t)2U * 4U));
            tmp_1000004c8_8_1 = r2sleigh_load_u16((void*)((uint64_t)x8_2 + (uint64_t)3U * 2U));
            return (uint32_t)((uint32_t)tmp_1000004c4_8_1 - (uint32_t)((uint64_t)(uint16_t)tmp_1000004c8_8_1 >> 0U));
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x1000004e0
FILE=tests/fixtures/manual_limits_O2
CMDS=aa; pdd @ 0x1000004e0
EXPECT=<<EOF
struct fcn_1000004e0_arg1 {
    uint32_t f_0;
    uint8_t _pad_4[4];
    uint64_t f_8;
    uint64_t f_10;
    uint64_t f_18;
};

uint64_t _out_param_parse(uint8_t* arg0, struct fcn_1000004e0_arg1* arg1)
{
    uint8_t tmp_1000004f4_8_1;
    uint64_t x9_1;
    uint8_t tmpzr_1;
    uint64_t x10_1;
    uint8_t tmp_100000504_8_1;
    uint64_t x12_1;
    uint64_t tmp_100000518_8_1;
    uint64_t x11_6;
    uint64_t x12_2;
    uint64_t x16_2;
    uint64_t x8_8;
    uint64_t x11_8;
    uint64_t x8_10;
    uint64_t x10_4;
    uint8_t tmp_100000548_18_1;
    uint64_t x12_3;
    uint64_t x10_5;
    uint64_t x11_10;
    uint64_t x8_11;
    uint32_t tmp_lane_100000568_0_0_1;
    uint8_t tmp_10000057c_18_1;

    /* r2dec proof: no individual construct is marked; 98 source obligations: 98 rendered, 0 elided, 0 refused; 37 statements rendered; 1 structure laid out from a parameter's accesses */
    {
        tmp_1000004f4_8_1 = r2sleigh_load_u8((void*)(uint64_t)arg0);
        x9_1 = (uint64_t)(uint8_t)tmp_1000004f4_8_1;
        tmpzr_1 = (uint8_t)((uint32_t)((uint64_t)x9_1 >> 0U) == (uint32_t)45U);
        x10_1 = (uint64_t)(uint8_t)tmpzr_1;
        tmp_100000504_8_1 = r2sleigh_load_u8((void*)((uint8_t)((uint32_t)tmpzr_1 ^ (uint32_t)(uint8_t)1U) ? (uint64_t)arg0 : (uint64_t)((uint64_t)arg0 + (uint64_t)1U)));
        x12_1 = (uint64_t)(uint8_t)tmp_100000504_8_1;
        if ((uint8_t)((uint32_t)9U < (uint32_t)((uint32_t)((uint64_t)x12_1 >> 0U) - (uint32_t)48U))) {
            x10_5 = x10_1;
            x11_10 = 0;
            x8_11 = (uint64_t)0x14650fb0739d0383U;
        } else {
            tmp_100000518_8_1 = (uint64_t)((uint64_t)arg0 + (uint64_t)1U);
            x11_6 = 0;
            x12_2 = x12_1;
            x16_2 = x10_1;
            x8_8 = (uint64_t)0x14650fb0739d0383U;
            do {
                x11_8 = (uint64_t)(uint32_t)((uint32_t)((uint32_t)((uint64_t)x11_6 >> 0U) * (uint32_t)10U) + (uint32_t)(uint8_t)((uint32_t)((uint32_t)((uint64_t)x12_2 >> 0U) - (uint32_t)48U) >> 0U));
                x8_10 = (uint64_t)((uint64_t)((uint64_t)((uint64_t)x12_2 & (uint64_t)255U) ^ (uint64_t)x8_8) * (uint64_t)0x100000001b3U);
                x10_4 = (uint64_t)((uint64_t)x16_2 + (uint64_t)1U);
                tmp_100000548_18_1 = r2sleigh_load_u8((void*)((uint64_t)tmp_100000518_8_1 + (uint64_t)x16_2 * 1U));
                x12_3 = (uint64_t)(uint8_t)tmp_100000548_18_1;
                x11_6 = x11_8;
                x12_2 = x12_3;
                x16_2 = x10_4;
                x8_8 = x8_10;
            } while ((uint8_t)((uint32_t)((uint32_t)((uint64_t)x12_3 >> 0U) - (uint32_t)48U) < (uint32_t)10U));
            {
                x10_5 = x10_4;
                x11_10 = x11_8;
                x8_11 = x8_10;
            }
        }
        {
            tmp_lane_100000568_0_0_1 = (uint32_t)((uint64_t)x11_10 >> 0U);
            r2sleigh_store_u32((void*)&arg1->f_0, (uint32_t)((uint8_t)((uint32_t)((uint64_t)x9_1 >> 0U) == (uint32_t)45U) ? (uint32_t)((uint32_t)0U - (uint32_t)tmp_lane_100000568_0_0_1) : (uint32_t)tmp_lane_100000568_0_0_1));
            r2sleigh_store_u64((void*)&arg1->f_10, (uint64_t)0U);
            r2sleigh_store_u64((void*)&arg1->f_18, (uint64_t)x10_5);
            r2sleigh_store_u64((void*)&arg1->f_8, (uint64_t)x8_11);
            if ((uint8_t)((uint64_t)x10_5 == (uint64_t)0U)) {
                return 0;
            } else {
                tmp_10000057c_18_1 = r2sleigh_load_u8((void*)((uint64_t)arg0 + (uint64_t)x10_5 * 1U));
                return (uint64_t)(uint8_t)((uint32_t)((uint64_t)(uint8_t)tmp_10000057c_18_1 >> 0U) == (uint32_t)0U);
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x100000594
FILE=tests/fixtures/manual_limits_O2
CMDS=aa; pdd @ 0x100000594
EXPECT=<<EOF
uint64_t _fnv_fold(uint64_t arg0, uint64_t arg1)
{
    uint64_t x8_1;
    uint64_t x0_8;
    uint64_t x1_1;
    uint64_t x8_2;
    uint8_t tmp_1000005b4_8_1;
    uint64_t x10_1;
    uint64_t x0_9;
    uint64_t tmp_1000005d0_8_1;
    uint64_t x0_10;

    /* r2dec proof: no individual construct is marked; 47 source obligations: 47 rendered, 0 elided, 0 refused; 18 statements rendered */
    {
        x8_1 = arg0;
        if ((uint8_t)((uint64_t)arg1 == (uint64_t)0U)) {
            x0_10 = (uint64_t)0x14650fb0739d0383U;
        } else {
            x0_8 = (uint64_t)0x14650fb0739d0383U;
            x1_1 = arg1;
            x8_2 = x8_1;
            for (; ; ) {
                tmp_1000005b4_8_1 = r2sleigh_load_u8((void*)x8_2);
                x10_1 = (uint64_t)(uint8_t)tmp_1000005b4_8_1;
                x0_9 = (uint64_t)((uint64_t)((uint64_t)x0_8 ^ (uint64_t)(uint32_t)((uint8_t)((uint32_t)((uint32_t)((uint64_t)x10_1 >> 0U) - (uint32_t)65U) < (uint32_t)26U) ? (uint32_t)((uint32_t)((uint64_t)x10_1 >> 0U) | (uint32_t)32U) : (uint32_t)((uint64_t)x10_1 >> 0U))) * (uint64_t)0x100000001b3U);
                tmp_1000005d0_8_1 = (uint64_t)((uint64_t)x1_1 - (uint64_t)1U);
                if ((uint8_t)((uint64_t)tmp_1000005d0_8_1 != (uint64_t)0U)) {
                    x0_8 = x0_9;
                    x1_1 = tmp_1000005d0_8_1;
                    x8_2 = (uint64_t)((uint64_t)x8_2 + (uint64_t)1U);
                } else {
                    x0_10 = x0_9;
                    break;
                }
            }
        }
        {
            return (uint64_t)x0_10;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x1000005dc
FILE=tests/fixtures/manual_limits_O2
CMDS=aa; pdd @ 0x1000005dc
EXPECT=<<EOF
uint64_t _sparse_switch(uint32_t arg0, uint32_t arg1, uint32_t arg2)
{
    uint8_t tmp_100000600_4_1;
    uint32_t tmp_100000600_5_1;
    uint32_t tmp_100000600_9_1;

    /* r2dec proof: 1 construct is marked below; 58 source obligations: 56 rendered, 0 elided, 0 refused, 2 residual; 17 statements rendered */
    {
        if ((uint8_t)((int32_t)arg0 <= (int32_t)2U)) {
            if ((uint8_t)((uint32_t)((uint32_t)arg0 + (uint32_t)7U) == (uint32_t)0U)) {
                return (uint64_t)(uint32_t)((uint32_t)arg1 - (uint32_t)arg2);
            } else {
                if ((uint8_t)((uint32_t)arg0 != (uint32_t)0U)) {
                } else {
                    return (uint64_t)(uint32_t)((uint32_t)arg2 + (uint32_t)arg1);
                }
            }
        } else {
            if ((uint8_t)((uint32_t)arg0 == (uint32_t)3U)) {
                return (uint64_t)(uint32_t)((uint32_t)arg2 + (uint32_t)((uint32_t)((uint32_t)arg1 * (uint32_t)2U) + (uint32_t)arg1));
            } else {
                if ((uint8_t)((uint32_t)arg0 == (uint32_t)42U)) {
                    return (uint64_t)(uint32_t)((uint32_t)((uint32_t)arg2 ^ (uint32_t)arg1) + (uint32_t)42U);
                } else {
                    if ((uint8_t)((uint32_t)arg0 != (uint32_t)0x3e8U)) {
                    } else {
                        if ((uint8_t)((uint32_t)arg2 == (uint32_t)0U)) {
                            return (uint64_t)0xffffffffU;
                        } else {
                            tmp_100000600_4_1 = (uint8_t)((uint32_t)arg2 == (uint32_t)0U);
                            tmp_100000600_5_1 = tmp_100000600_4_1 ? (uint32_t)1U : (uint32_t)arg2;
                            tmp_100000600_9_1 = (uint32_t)arg1 == (uint32_t)0x80000000U && (uint32_t)tmp_100000600_5_1 == (uint32_t)0xffffffffU ? r2sleigh_residual_u32(1) : (uint32_t)((int32_t)arg1 / (int32_t)tmp_100000600_5_1);
                            return (uint64_t)(uint32_t)(tmp_100000600_4_1 ? (uint32_t)0U : (uint32_t)tmp_100000600_9_1);
                        }
                    }
                }
            }
        }
        {
            return (uint64_t)(uint32_t)((uint32_t)((uint32_t)arg1 + (uint32_t)arg0) - (uint32_t)arg2);
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x100000650
FILE=tests/fixtures/manual_limits_O2
CMDS=aa; pdd @ 0x100000650
EXPECT=<<EOF
uint32_t _table_walk(uint64_t arg0, uint64_t arg1)
{
    uint64_t x0_1;
    uint64_t x8_2;
    uint32_t tmp_100000670_4_1;
    uint64_t x8_3;
    uint64_t x11_1;
    uint16_t tmp_10000067c_8_1;
    uint64_t x10_1;
    uint64_t x11_2;
    uint64_t x12_2;
    uint64_t x13_2;
    uint64_t x12_3;
    uint8_t tmp_10000068c_8_1;
    uint64_t x14_1;
    uint64_t x11_3;
    uint8_t tmp_100000694_8_1;
    uint64_t tmp_1000006a0_8_1;
    uint8_t tmp_10000065c_18_1;
    uint32_t tmp_1000006bc_8_1;
    uint64_t x0_2;
    uint64_t x0_5;

    /* r2dec proof: no individual construct is marked; 92 source obligations: 92 rendered, 0 elided, 0 refused; 51 statements rendered */
    {
        if ((uint8_t)((uint64_t)arg0 == (uint64_t)0U)) {
            x0_5 = arg0;
            return (uint32_t)x0_5;
        } else {
            x0_1 = arg0;
            x8_2 = 0;
            for (; ; ) {
                tmp_100000670_4_1 = (uint32_t)((uint32_t)((uint64_t)x8_2 >> 0U) + (uint32_t)1U);
                x8_3 = (uint64_t)(uint32_t)tmp_100000670_4_1;
                x11_1 = r2sleigh_load_u64((void*)((uint64_t)x0_1 + (uint64_t)3U * 8U));
                if ((uint8_t)((uint64_t)x11_1 == (uint64_t)0U)) {
                } else {
                    tmp_10000067c_8_1 = r2sleigh_load_u16((void*)((uint64_t)x0_1 + (uint64_t)3U * 2U));
                    x10_1 = (uint64_t)(uint16_t)tmp_10000067c_8_1;
                    if ((uint8_t)((uint64_t)x10_1 == (uint64_t)0U)) {
                    } else {
                        x11_2 = x11_1;
                        x12_2 = arg1;
                        x13_2 = x10_1;
                        for (; ; ) {
                            x12_3 = (uint64_t)((uint64_t)x12_2 + (uint64_t)1U);
                            tmp_10000068c_8_1 = r2sleigh_load_u8((void*)x12_2);
                            x14_1 = (uint64_t)(uint8_t)tmp_10000068c_8_1;
                            if ((uint8_t)((uint32_t)((uint64_t)x14_1 >> 0U) == (uint32_t)0U)) {
                                goto L3;
                            } else {
                                x11_3 = (uint64_t)((uint64_t)x11_2 + (uint64_t)1U);
                                tmp_100000694_8_1 = r2sleigh_load_u8((void*)x11_2);
                                if ((uint8_t)((uint32_t)((uint64_t)x14_1 >> 0U) != (uint32_t)((uint64_t)(uint8_t)tmp_100000694_8_1 >> 0U))) {
                                    goto L3;
                                } else {
                                    tmp_1000006a0_8_1 = (uint64_t)((uint64_t)x13_2 - (uint64_t)1U);
                                    if ((uint8_t)((uint64_t)tmp_1000006a0_8_1 != (uint64_t)0U)) {
                                        x11_2 = x11_3;
                                        x12_2 = x12_3;
                                        x13_2 = tmp_1000006a0_8_1;
                                    } else {
                                        break;
                                    }
                                }
                            }
                        }
                        {
                            goto L0;
                        }
                        {
L3: ;
                            if ((uint8_t)((uint64_t)x13_2 != (uint64_t)0U)) {
                                goto L1;
                            } else {
                            }
                        }
                        {
L0: ;
                            tmp_10000065c_18_1 = r2sleigh_load_u8((void*)(uint64_t)((uint64_t)arg1 + (uint64_t)x10_1));
                            if ((uint8_t)((uint32_t)((uint64_t)(uint8_t)tmp_10000065c_18_1 >> 0U) == (uint32_t)0U)) {
                                break;
                            } else {
                            }
                        }
                    }
                }
                {
L1: ;
                    x0_2 = r2sleigh_load_u64((void*)((uint64_t)x0_1 + (uint64_t)4U * 8U));
                    if ((uint8_t)((uint64_t)x0_2 == (uint64_t)0U)) {
                        goto L4;
                    } else {
                        x0_1 = x0_2;
                        x8_2 = x8_3;
                    }
                }
            }
            {
                tmp_1000006bc_8_1 = r2sleigh_load_u32((void*)x0_1);
                return (uint32_t)((uint32_t)tmp_1000006bc_8_1 + (uint32_t)tmp_100000670_4_1);
            }
            {
L4: ;
                x0_5 = (uint64_t)(uint32_t)~(uint32_t)((uint64_t)x8_2 >> 0U);
                return (uint32_t)x0_5;
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x1000006c8
FILE=tests/fixtures/manual_limits_O2
CMDS=aa; pdd @ 0x1000006c8
EXPECT=<<EOF
uint64_t _state_machine(uint8_t* arg0)
{
    uint8_t tmp_1000006c8_8_1;
    uint64_t x11_1;
    uint64_t x0_2;
    uint64_t x10_2;
    uint64_t x11_2;
    uint64_t x8_2;
    uint64_t x9_2;
    uint32_t tmp_1000007a8_0_1;
    uint32_t tmp_10000078c_0_1;
    uint64_t x8_3;
    uint64_t x8_10;
    uint64_t x10_4;
    uint64_t x8_4;
    uint8_t tmp_1000006f0_8_1;
    uint64_t x11_3;
    uint64_t x0_9;

    /* r2dec proof: no individual construct is marked; 154 source obligations: 150 rendered, 4 elided, 0 refused; 71 statements rendered */
    {
        tmp_1000006c8_8_1 = r2sleigh_load_u8((void*)(uint64_t)arg0);
        x11_1 = (uint64_t)(uint8_t)tmp_1000006c8_8_1;
        if ((uint8_t)((uint32_t)((uint64_t)x11_1 >> 0U) == (uint32_t)0U)) {
            x0_9 = 0;
        } else {
            x0_2 = (uint64_t)0xfffffe70U;
            x10_2 = 0;
            x11_2 = x11_1;
            x8_2 = 0;
            x9_2 = (uint64_t)((uint64_t)arg0 + (uint64_t)1U);
            for (; ; ) {
                if ((uint8_t)((uint32_t)((uint64_t)x10_2 >> 0U) == (uint32_t)2U)) {
                    switch ((uint32_t)((uint64_t)x11_2 >> 0U)) {
                    case 95:
                        x8_10 = x8_2;
                        goto L3;
                    case 45:
                        {
                            x10_4 = 3;
                            x8_4 = x8_2;
                            goto L1;
                        }
                    default:
                        {
                            tmp_10000078c_0_1 = (uint32_t)((uint32_t)((uint64_t)x11_2 >> 0U) - (uint32_t)58U);
                            if ((uint8_t)((uint32_t)(uint8_t)r2sleigh_int_carry_32((uint32_t)tmp_10000078c_0_1, (uint32_t)11U) & (uint32_t)(uint8_t)((uint32_t)((uint32_t)tmp_10000078c_0_1 + (uint32_t)11U) != (uint32_t)0U))) {
                                x8_3 = x8_2;
                            } else {
                                {
                                    return (uint64_t)(uint32_t)((uint32_t)((uint64_t)x0_2 >> 0U) + (uint32_t)100U);
                                }
                            }
                        }
                    }
                } else {
                    if ((uint8_t)((uint32_t)((uint64_t)x10_2 >> 0U) == (uint32_t)1U)) {
                        if ((uint8_t)((uint32_t)((uint32_t)((uint64_t)x11_2 >> 0U) - (uint32_t)48U) <= (uint32_t)9U)) {
                            x8_3 = (uint64_t)(uint32_t)((uint32_t)((uint32_t)((uint64_t)x11_2 >> 0U) + (uint32_t)((uint64_t)x8_2 >> 0U)) - (uint32_t)48U);
                        } else {
                            switch ((uint32_t)((uint64_t)x11_2 >> 0U)) {
                            case 45:
                                {
                                    x10_4 = 3;
                                    x8_4 = (uint64_t)(uint32_t)((uint32_t)((uint64_t)x8_2 >> 0U) + (uint32_t)7U);
                                    goto L1;
                                }
                            case 95:
                                x10_4 = 1;
                                x8_4 = x8_2;
                                goto L1;
                            default:
                                {
                                    tmp_1000007a8_0_1 = (uint32_t)((uint32_t)((uint64_t)x11_2 >> 0U) - (uint32_t)123U);
                                    if ((uint8_t)((uint32_t)(uint8_t)r2sleigh_int_carry_32((uint32_t)tmp_1000007a8_0_1, (uint32_t)27U) & (uint32_t)(uint8_t)((uint32_t)((uint32_t)tmp_1000007a8_0_1 + (uint32_t)27U) != (uint32_t)0U))) {
                                        x10_4 = 1;
                                        x8_4 = x8_2;
                                        goto L1;
                                    } else {
                                        return (uint64_t)(uint32_t)((uint32_t)((uint64_t)x0_2 >> 0U) + (uint32_t)200U);
                                    }
                                }
                            }
                        }
                    } else {
                        if ((uint8_t)((uint32_t)((uint64_t)x10_2 >> 0U) != (uint32_t)0U)) {
                            if ((uint8_t)((uint32_t)((uint64_t)x11_2 >> 0U) != (uint32_t)120U)) {
                                x0_9 = x0_2;
                                return (uint64_t)x0_9;
                            } else {
                                x10_4 = 0;
                                x8_4 = x8_2;
                                goto L1;
                            }
                        } else {
                            if ((uint8_t)((uint32_t)((uint64_t)x11_2 >> 0U) == (uint32_t)95U)) {
                            } else {
                                if ((uint8_t)((uint32_t)((uint32_t)((uint64_t)x11_2 >> 0U) - (uint32_t)97U) <= (uint32_t)25U)) {
                                } else {
                                    if ((uint8_t)((uint32_t)9U < (uint32_t)((uint32_t)((uint64_t)x11_2 >> 0U) - (uint32_t)48U))) {
                                        break;
                                    } else {
                                        x8_3 = (uint64_t)(uint32_t)((uint32_t)((uint64_t)x8_2 >> 0U) - (uint32_t)5U);
                                        goto L0;
                                    }
                                }
                            }
                            {
                                x8_10 = (uint64_t)(uint32_t)((uint32_t)((uint64_t)x8_2 >> 0U) + (uint32_t)3U);
                                goto L3;
                            }
                        }
                    }
                }
                {
L0: ;
                    x10_4 = 2;
                    x8_4 = x8_3;
                    goto L1;
                }
                {
L3: ;
                    x10_4 = 1;
                    x8_4 = x8_10;
                }
                {
L1: ;
                    tmp_1000006f0_8_1 = r2sleigh_load_u8((void*)x9_2);
                    x11_3 = (uint64_t)(uint8_t)tmp_1000006f0_8_1;
                    if ((uint8_t)((uint32_t)((uint64_t)x11_3 >> 0U) == (uint32_t)0U)) {
                        return (uint64_t)(uint32_t)((uint32_t)((uint64_t)x10_4 >> 0U) + (uint32_t)((uint64_t)x8_4 >> 0U));
                    } else {
                        x0_2 = (uint64_t)(uint32_t)((uint32_t)((uint64_t)x0_2 >> 0U) - (uint32_t)1U);
                        x10_2 = x10_4;
                        x11_2 = x11_3;
                        x8_2 = x8_4;
                        x9_2 = (uint64_t)((uint64_t)x9_2 + (uint64_t)1U);
                    }
                }
            }
            {
                return (uint64_t)(uint32_t)((uint32_t)((uint64_t)x0_2 >> 0U) + (uint32_t)0x12cU);
            }
        }
        {
            return (uint64_t)x0_9;
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x1000007dc
FILE=tests/fixtures/manual_limits_O2
CMDS=aa; pdd @ 0x1000007dc
EXPECT=<<EOF
struct r2sleigh_bits_256 {
    uint8_t bytes[32];
};

static inline uint64_t r2sleigh_bits_extract_256_64(struct r2sleigh_bits_256 carrier, uint64_t at)
{
    uint64_t field = 0;
    for (uint32_t bit = 0; bit < 64u; ++bit) {
        const uint64_t from = at + bit;
        if (from < 256u && ((carrier.bytes[from / 8] >> (from % 8)) & 1) != 0) {
            field = (uint64_t)(field | ((uint64_t)1 << bit));
        }
    }
    return field;
}

static inline __uint128_t r2sleigh_bits_extract_256_128(struct r2sleigh_bits_256 carrier, uint64_t at)
{
    __uint128_t field = 0;
    for (uint32_t bit = 0; bit < 128u; ++bit) {
        const uint64_t from = at + bit;
        if (from < 256u && ((carrier.bytes[from / 8] >> (from % 8)) & 1) != 0) {
            field = (__uint128_t)(field | ((__uint128_t)1 << bit));
        }
    }
    return field;
}

static inline struct r2sleigh_bits_256 r2sleigh_bits_insert_256_8(struct r2sleigh_bits_256 carrier, uint8_t field, uint64_t at)
{
    for (uint32_t bit = 0; bit < 8u; ++bit) {
        const uint64_t to = at + bit;
        if (to < 256u) {
            const unsigned mask = 1u << (to % 8);
            if (((field >> bit) & 1) != 0) {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] | mask);
            } else {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] & ~mask);
            }
        }
    }
    return carrier;
}

static inline struct r2sleigh_bits_256 r2sleigh_bits_insert_256_16(struct r2sleigh_bits_256 carrier, uint16_t field, uint64_t at)
{
    for (uint32_t bit = 0; bit < 16u; ++bit) {
        const uint64_t to = at + bit;
        if (to < 256u) {
            const unsigned mask = 1u << (to % 8);
            if (((field >> bit) & 1) != 0) {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] | mask);
            } else {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] & ~mask);
            }
        }
    }
    return carrier;
}

static inline struct r2sleigh_bits_256 r2sleigh_bits_insert_256_32(struct r2sleigh_bits_256 carrier, uint32_t field, uint64_t at)
{
    for (uint32_t bit = 0; bit < 32u; ++bit) {
        const uint64_t to = at + bit;
        if (to < 256u) {
            const unsigned mask = 1u << (to % 8);
            if (((field >> bit) & 1) != 0) {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] | mask);
            } else {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] & ~mask);
            }
        }
    }
    return carrier;
}

static inline struct r2sleigh_bits_256 r2sleigh_bits_insert_256_64(struct r2sleigh_bits_256 carrier, uint64_t field, uint64_t at)
{
    for (uint32_t bit = 0; bit < 64u; ++bit) {
        const uint64_t to = at + bit;
        if (to < 256u) {
            const unsigned mask = 1u << (to % 8);
            if (((field >> bit) & 1) != 0) {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] | mask);
            } else {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] & ~mask);
            }
        }
    }
    return carrier;
}

static inline struct r2sleigh_bits_256 r2sleigh_bits_insert_256_128(struct r2sleigh_bits_256 carrier, __uint128_t field, uint64_t at)
{
    for (uint32_t bit = 0; bit < 128u; ++bit) {
        const uint64_t to = at + bit;
        if (to < 256u) {
            const unsigned mask = 1u << (to % 8);
            if (((field >> bit) & 1) != 0) {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] | mask);
            } else {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] & ~mask);
            }
        }
    }
    return carrier;
}

static inline struct r2sleigh_bits_256 r2sleigh_bits_zero_extend_64_256(uint64_t field)
{
    struct r2sleigh_bits_256 carrier = {{0}};
    for (uint32_t bit = 0; bit < 64u; ++bit) {
        if (((field >> bit) & 1) != 0) {
            carrier.bytes[bit / 8] = (uint8_t)(carrier.bytes[bit / 8] | (1u << (bit % 8)));
        }
    }
    return carrier;
}

uint64_t _mem_scan2(uint64_t arg0, uint64_t arg1, uint32_t arg2, uint32_t arg3)
{
    uint8_t tmp_lane_100000824_0_0_1;
    struct r2sleigh_bits_256 z1_1;
    struct r2sleigh_bits_256 z1_2;
    struct r2sleigh_bits_256 z1_3;
    struct r2sleigh_bits_256 z1_4;
    struct r2sleigh_bits_256 z1_5;
    struct r2sleigh_bits_256 z1_6;
    struct r2sleigh_bits_256 z1_7;
    struct r2sleigh_bits_256 z1_8;
    struct r2sleigh_bits_256 z1_9;
    struct r2sleigh_bits_256 z1_10;
    struct r2sleigh_bits_256 z1_11;
    struct r2sleigh_bits_256 z1_12;
    struct r2sleigh_bits_256 z1_13;
    struct r2sleigh_bits_256 z1_14;
    struct r2sleigh_bits_256 z1_15;
    struct r2sleigh_bits_256 z1_16;
    uint8_t tmp_lane_100000828_0_0_1;
    struct r2sleigh_bits_256 z0_1;
    struct r2sleigh_bits_256 z0_2;
    struct r2sleigh_bits_256 z0_3;
    struct r2sleigh_bits_256 z0_4;
    struct r2sleigh_bits_256 z0_5;
    struct r2sleigh_bits_256 z0_6;
    struct r2sleigh_bits_256 z0_7;
    struct r2sleigh_bits_256 z0_8;
    struct r2sleigh_bits_256 z0_9;
    struct r2sleigh_bits_256 z0_10;
    struct r2sleigh_bits_256 z0_11;
    struct r2sleigh_bits_256 z0_12;
    struct r2sleigh_bits_256 z0_13;
    struct r2sleigh_bits_256 z0_14;
    struct r2sleigh_bits_256 z0_15;
    struct r2sleigh_bits_256 z0_16;
    __uint128_t tmp_lane_10000082c_1_0_1;
    __uint128_t tmp_lane_10000082c_3_0_1;
    struct r2sleigh_bits_256 z27_1;
    struct r2sleigh_bits_256 z27_2;
    struct r2sleigh_bits_256 z27_3;
    struct r2sleigh_bits_256 z29_1;
    struct r2sleigh_bits_256 z29_2;
    struct r2sleigh_bits_256 z29_3;
    struct r2sleigh_bits_256 z5_1;
    struct r2sleigh_bits_256 z5_2;
    struct r2sleigh_bits_256 z5_3;
    struct r2sleigh_bits_256 z16_1;
    struct r2sleigh_bits_256 z16_2;
    struct r2sleigh_bits_256 z16_3;
    struct r2sleigh_bits_256 z6_1;
    struct r2sleigh_bits_256 z6_2;
    struct r2sleigh_bits_256 z6_3;
    struct r2sleigh_bits_256 z17_1;
    struct r2sleigh_bits_256 z17_2;
    struct r2sleigh_bits_256 z17_3;
    struct r2sleigh_bits_256 z7_1;
    struct r2sleigh_bits_256 z7_2;
    struct r2sleigh_bits_256 z7_3;
    struct r2sleigh_bits_256 z20_1;
    struct r2sleigh_bits_256 z20_2;
    struct r2sleigh_bits_256 z20_3;
    struct r2sleigh_bits_256 z18_1;
    struct r2sleigh_bits_256 z18_2;
    struct r2sleigh_bits_256 z18_3;
    struct r2sleigh_bits_256 z22_1;
    struct r2sleigh_bits_256 z22_2;
    struct r2sleigh_bits_256 z22_3;
    struct r2sleigh_bits_256 z21_1;
    struct r2sleigh_bits_256 z21_2;
    struct r2sleigh_bits_256 z21_3;
    struct r2sleigh_bits_256 z25_1;
    struct r2sleigh_bits_256 z25_2;
    struct r2sleigh_bits_256 z25_3;
    struct r2sleigh_bits_256 z19_1;
    struct r2sleigh_bits_256 z19_2;
    struct r2sleigh_bits_256 z19_3;
    struct r2sleigh_bits_256 z24_1;
    struct r2sleigh_bits_256 z24_2;
    struct r2sleigh_bits_256 z24_3;
    struct r2sleigh_bits_256 z23_1;
    struct r2sleigh_bits_256 z23_2;
    struct r2sleigh_bits_256 z23_3;
    struct r2sleigh_bits_256 z26_1;
    struct r2sleigh_bits_256 z26_2;
    struct r2sleigh_bits_256 z26_3;
    uint64_t x10_2;
    uint64_t x8_5;
    struct r2sleigh_bits_256 z16_5;
    struct r2sleigh_bits_256 z17_5;
    struct r2sleigh_bits_256 z18_5;
    struct r2sleigh_bits_256 z19_5;
    struct r2sleigh_bits_256 z20_5;
    struct r2sleigh_bits_256 z21_5;
    struct r2sleigh_bits_256 z22_5;
    struct r2sleigh_bits_256 z23_5;
    struct r2sleigh_bits_256 z24_5;
    struct r2sleigh_bits_256 z25_5;
    struct r2sleigh_bits_256 z26_5;
    struct r2sleigh_bits_256 z27_5;
    struct r2sleigh_bits_256 z29_5;
    struct r2sleigh_bits_256 z5_5;
    struct r2sleigh_bits_256 z6_5;
    struct r2sleigh_bits_256 z7_5;
    __uint128_t tmp_lane_100000884_1_0_1;
    __uint128_t tmp_lane_100000884_3_0_1;
    uint64_t tmp_100000888_0_1;
    __uint128_t tmp_lane_100000888_1_0_1;
    uint64_t tmp_100000888_8_1;
    __uint128_t tmp_lane_100000888_5_0_1;
    uint8_t tmp_lane_100000890_1_0_1;
    uint8_t tmp_lane_100000890_1_1_1;
    uint8_t tmp_lane_100000890_3_0_1;
    uint8_t tmp_lane_100000890_3_1_1;
    uint8_t tmp_lane_100000890_5_0_1;
    uint8_t tmp_lane_100000890_5_1_1;
    uint8_t tmp_lane_100000890_7_0_1;
    uint8_t tmp_lane_100000890_7_1_1;
    uint8_t tmp_lane_100000890_9_0_1;
    uint8_t tmp_lane_100000890_9_1_1;
    uint8_t tmp_lane_100000890_b_0_1;
    uint8_t tmp_lane_100000890_b_1_1;
    uint8_t tmp_lane_100000890_d_0_1;
    uint8_t tmp_lane_100000890_d_1_1;
    uint8_t tmp_lane_100000890_f_0_1;
    uint8_t tmp_lane_100000890_f_1_1;
    uint8_t tmp_lane_100000890_11_0_1;
    uint8_t tmp_lane_100000890_11_1_1;
    uint8_t tmp_lane_100000890_13_0_1;
    uint8_t tmp_lane_100000890_13_1_1;
    uint8_t tmp_lane_100000890_15_0_1;
    uint8_t tmp_lane_100000890_15_1_1;
    uint8_t tmp_lane_100000890_17_0_1;
    uint8_t tmp_lane_100000890_17_1_1;
    uint8_t tmp_lane_100000890_19_0_1;
    uint8_t tmp_lane_100000890_19_1_1;
    uint8_t tmp_lane_100000890_1b_0_1;
    uint8_t tmp_lane_100000890_1b_1_1;
    uint8_t tmp_lane_100000890_1d_0_1;
    uint8_t tmp_lane_100000890_1d_1_1;
    uint8_t tmp_lane_100000890_1f_0_1;
    uint8_t tmp_lane_100000890_1f_1_1;
    uint8_t tmp_lane_100000894_1_0_1;
    uint8_t tmp_lane_100000894_1_1_1;
    uint8_t tmp_lane_100000894_3_0_1;
    uint8_t tmp_lane_100000894_3_1_1;
    uint8_t tmp_lane_100000894_5_0_1;
    uint8_t tmp_lane_100000894_5_1_1;
    uint8_t tmp_lane_100000894_7_0_1;
    uint8_t tmp_lane_100000894_7_1_1;
    uint8_t tmp_lane_100000894_9_0_1;
    uint8_t tmp_lane_100000894_9_1_1;
    uint8_t tmp_lane_100000894_b_0_1;
    uint8_t tmp_lane_100000894_b_1_1;
    uint8_t tmp_lane_100000894_d_0_1;
    uint8_t tmp_lane_100000894_d_1_1;
    uint8_t tmp_lane_100000894_f_0_1;
    uint8_t tmp_lane_100000894_f_1_1;
    uint8_t tmp_lane_100000894_11_0_1;
    uint8_t tmp_lane_100000894_11_1_1;
    uint8_t tmp_lane_100000894_13_0_1;
    uint8_t tmp_lane_100000894_13_1_1;
    uint8_t tmp_lane_100000894_15_0_1;
    uint8_t tmp_lane_100000894_15_1_1;
    uint8_t tmp_lane_100000894_17_0_1;
    uint8_t tmp_lane_100000894_17_1_1;
    uint8_t tmp_lane_100000894_19_0_1;
    uint8_t tmp_lane_100000894_19_1_1;
    uint8_t tmp_lane_100000894_1b_0_1;
    uint8_t tmp_lane_100000894_1b_1_1;
    uint8_t tmp_lane_100000894_1d_0_1;
    uint8_t tmp_lane_100000894_1d_1_1;
    uint8_t tmp_lane_100000894_1f_0_1;
    uint8_t tmp_lane_100000894_1f_1_1;
    uint8_t tmp_lane_100000898_1_0_1;
    uint8_t tmp_lane_100000898_1_1_1;
    uint8_t tmp_lane_100000898_3_0_1;
    uint8_t tmp_lane_100000898_3_1_1;
    uint8_t tmp_lane_100000898_5_0_1;
    uint8_t tmp_lane_100000898_5_1_1;
    uint8_t tmp_lane_100000898_7_0_1;
    uint8_t tmp_lane_100000898_7_1_1;
    uint8_t tmp_lane_100000898_9_0_1;
    uint8_t tmp_lane_100000898_9_1_1;
    uint8_t tmp_lane_100000898_b_0_1;
    uint8_t tmp_lane_100000898_b_1_1;
    uint8_t tmp_lane_100000898_d_0_1;
    uint8_t tmp_lane_100000898_d_1_1;
    uint8_t tmp_lane_100000898_f_0_1;
    uint8_t tmp_lane_100000898_f_1_1;
    uint8_t tmp_lane_100000898_11_0_1;
    uint8_t tmp_lane_100000898_11_1_1;
    uint8_t tmp_lane_100000898_13_0_1;
    uint8_t tmp_lane_100000898_13_1_1;
    uint8_t tmp_lane_100000898_15_0_1;
    uint8_t tmp_lane_100000898_15_1_1;
    uint8_t tmp_lane_100000898_17_0_1;
    uint8_t tmp_lane_100000898_17_1_1;
    uint8_t tmp_lane_100000898_19_0_1;
    uint8_t tmp_lane_100000898_19_1_1;
    uint8_t tmp_lane_100000898_1b_0_1;
    uint8_t tmp_lane_100000898_1b_1_1;
    uint8_t tmp_lane_100000898_1d_0_1;
    uint8_t tmp_lane_100000898_1d_1_1;
    uint8_t tmp_lane_100000898_1f_0_1;
    uint8_t tmp_lane_100000898_1f_1_1;
    uint8_t tmp_lane_10000089c_1_0_1;
    uint8_t tmp_lane_10000089c_1_1_1;
    uint8_t tmp_lane_10000089c_3_0_1;
    uint8_t tmp_lane_10000089c_3_1_1;
    uint8_t tmp_lane_10000089c_5_0_1;
    uint8_t tmp_lane_10000089c_5_1_1;
    uint8_t tmp_lane_10000089c_7_0_1;
    uint8_t tmp_lane_10000089c_7_1_1;
    uint8_t tmp_lane_10000089c_9_0_1;
    uint8_t tmp_lane_10000089c_9_1_1;
    uint8_t tmp_lane_10000089c_b_0_1;
    uint8_t tmp_lane_10000089c_b_1_1;
    uint8_t tmp_lane_10000089c_d_0_1;
    uint8_t tmp_lane_10000089c_d_1_1;
    uint8_t tmp_lane_10000089c_f_0_1;
    uint8_t tmp_lane_10000089c_f_1_1;
    uint8_t tmp_lane_10000089c_11_0_1;
    uint8_t tmp_lane_10000089c_11_1_1;
    uint8_t tmp_lane_10000089c_13_0_1;
    uint8_t tmp_lane_10000089c_13_1_1;
    uint8_t tmp_lane_10000089c_15_0_1;
    uint8_t tmp_lane_10000089c_15_1_1;
    uint8_t tmp_lane_10000089c_17_0_1;
    uint8_t tmp_lane_10000089c_17_1_1;
    uint8_t tmp_lane_10000089c_19_0_1;
    uint8_t tmp_lane_10000089c_19_1_1;
    uint8_t tmp_lane_10000089c_1b_0_1;
    uint8_t tmp_lane_10000089c_1b_1_1;
    uint8_t tmp_lane_10000089c_1d_0_1;
    uint8_t tmp_lane_10000089c_1d_1_1;
    uint8_t tmp_lane_10000089c_1f_0_1;
    uint8_t tmp_lane_10000089c_1f_1_1;
    uint8_t tmp_lane_1000008a0_0_2_1;
    uint8_t tmp_lane_1000008a0_1_2_1;
    uint8_t tmp_lane_1000008a0_2_2_1;
    uint8_t tmp_lane_1000008a0_3_2_1;
    uint8_t tmp_lane_1000008a0_4_2_1;
    uint8_t tmp_lane_1000008a0_5_2_1;
    uint8_t tmp_lane_1000008a0_6_2_1;
    uint8_t tmp_lane_1000008a0_7_2_1;
    uint8_t tmp_lane_1000008a0_8_2_1;
    uint8_t tmp_lane_1000008a0_9_2_1;
    uint8_t tmp_lane_1000008a0_a_2_1;
    uint8_t tmp_lane_1000008a0_b_2_1;
    uint8_t tmp_lane_1000008a0_c_2_1;
    uint8_t tmp_lane_1000008a0_d_2_1;
    uint8_t tmp_lane_1000008a0_e_2_1;
    uint8_t tmp_lane_1000008a0_f_2_1;
    uint8_t tmp_lane_1000008a4_0_2_1;
    uint8_t tmp_lane_1000008a4_1_2_1;
    uint8_t tmp_lane_1000008a4_2_2_1;
    uint8_t tmp_lane_1000008a4_3_2_1;
    uint8_t tmp_lane_1000008a4_4_2_1;
    uint8_t tmp_lane_1000008a4_5_2_1;
    uint8_t tmp_lane_1000008a4_6_2_1;
    uint8_t tmp_lane_1000008a4_7_2_1;
    uint8_t tmp_lane_1000008a4_8_2_1;
    uint8_t tmp_lane_1000008a4_9_2_1;
    uint8_t tmp_lane_1000008a4_a_2_1;
    uint8_t tmp_lane_1000008a4_b_2_1;
    uint8_t tmp_lane_1000008a4_c_2_1;
    uint8_t tmp_lane_1000008a4_d_2_1;
    uint8_t tmp_lane_1000008a4_e_2_1;
    uint8_t tmp_lane_1000008a4_f_2_1;
    struct r2sleigh_bits_256 z27_27;
    struct r2sleigh_bits_256 z27_28;
    struct r2sleigh_bits_256 z27_29;
    struct r2sleigh_bits_256 z27_30;
    struct r2sleigh_bits_256 z27_31;
    struct r2sleigh_bits_256 z27_32;
    struct r2sleigh_bits_256 z27_33;
    struct r2sleigh_bits_256 z27_34;
    struct r2sleigh_bits_256 z28_19;
    struct r2sleigh_bits_256 z28_20;
    struct r2sleigh_bits_256 z28_21;
    struct r2sleigh_bits_256 z28_22;
    struct r2sleigh_bits_256 z28_23;
    struct r2sleigh_bits_256 z28_24;
    struct r2sleigh_bits_256 z28_25;
    struct r2sleigh_bits_256 z28_26;
    struct r2sleigh_bits_256 z30_1;
    struct r2sleigh_bits_256 z30_2;
    struct r2sleigh_bits_256 z30_3;
    struct r2sleigh_bits_256 z30_4;
    struct r2sleigh_bits_256 z30_5;
    struct r2sleigh_bits_256 z30_6;
    struct r2sleigh_bits_256 z30_7;
    struct r2sleigh_bits_256 z30_8;
    struct r2sleigh_bits_256 z31_1;
    struct r2sleigh_bits_256 z31_2;
    struct r2sleigh_bits_256 z31_3;
    struct r2sleigh_bits_256 z31_4;
    struct r2sleigh_bits_256 z31_5;
    struct r2sleigh_bits_256 z31_6;
    struct r2sleigh_bits_256 z31_7;
    struct r2sleigh_bits_256 z31_8;
    struct r2sleigh_bits_256 z8_1;
    struct r2sleigh_bits_256 z8_2;
    struct r2sleigh_bits_256 z8_3;
    struct r2sleigh_bits_256 z8_4;
    struct r2sleigh_bits_256 z8_5;
    struct r2sleigh_bits_256 z8_6;
    struct r2sleigh_bits_256 z8_7;
    struct r2sleigh_bits_256 z8_8;
    struct r2sleigh_bits_256 z10_1;
    struct r2sleigh_bits_256 z10_2;
    struct r2sleigh_bits_256 z10_3;
    struct r2sleigh_bits_256 z10_4;
    struct r2sleigh_bits_256 z10_5;
    struct r2sleigh_bits_256 z10_6;
    struct r2sleigh_bits_256 z10_7;
    struct r2sleigh_bits_256 z10_8;
    struct r2sleigh_bits_256 z12_1;
    struct r2sleigh_bits_256 z12_2;
    struct r2sleigh_bits_256 z12_3;
    struct r2sleigh_bits_256 z12_4;
    struct r2sleigh_bits_256 z12_5;
    struct r2sleigh_bits_256 z12_6;
    struct r2sleigh_bits_256 z12_7;
    struct r2sleigh_bits_256 z12_8;
    struct r2sleigh_bits_256 z15_1;
    struct r2sleigh_bits_256 z15_2;
    struct r2sleigh_bits_256 z15_3;
    struct r2sleigh_bits_256 z15_4;
    struct r2sleigh_bits_256 z15_5;
    struct r2sleigh_bits_256 z15_6;
    struct r2sleigh_bits_256 z15_7;
    struct r2sleigh_bits_256 z15_8;
    struct r2sleigh_bits_256 z9_19;
    struct r2sleigh_bits_256 z9_20;
    struct r2sleigh_bits_256 z9_21;
    struct r2sleigh_bits_256 z9_22;
    struct r2sleigh_bits_256 z9_23;
    struct r2sleigh_bits_256 z9_24;
    struct r2sleigh_bits_256 z9_25;
    struct r2sleigh_bits_256 z9_26;
    struct r2sleigh_bits_256 z11_1;
    struct r2sleigh_bits_256 z11_2;
    struct r2sleigh_bits_256 z11_3;
    struct r2sleigh_bits_256 z11_4;
    struct r2sleigh_bits_256 z11_5;
    struct r2sleigh_bits_256 z11_6;
    struct r2sleigh_bits_256 z11_7;
    struct r2sleigh_bits_256 z11_8;
    struct r2sleigh_bits_256 z13_1;
    struct r2sleigh_bits_256 z13_2;
    struct r2sleigh_bits_256 z13_3;
    struct r2sleigh_bits_256 z13_4;
    struct r2sleigh_bits_256 z13_5;
    struct r2sleigh_bits_256 z13_6;
    struct r2sleigh_bits_256 z13_7;
    struct r2sleigh_bits_256 z13_8;
    struct r2sleigh_bits_256 z14_1;
    struct r2sleigh_bits_256 z14_2;
    struct r2sleigh_bits_256 z14_3;
    struct r2sleigh_bits_256 z14_4;
    struct r2sleigh_bits_256 z14_5;
    struct r2sleigh_bits_256 z14_6;
    struct r2sleigh_bits_256 z14_7;
    struct r2sleigh_bits_256 z14_8;
    struct r2sleigh_bits_256 z1_40;
    struct r2sleigh_bits_256 z1_41;
    struct r2sleigh_bits_256 z1_42;
    struct r2sleigh_bits_256 z1_43;
    struct r2sleigh_bits_256 z1_44;
    struct r2sleigh_bits_256 z1_45;
    struct r2sleigh_bits_256 z1_46;
    struct r2sleigh_bits_256 z1_47;
    struct r2sleigh_bits_256 z2_4;
    struct r2sleigh_bits_256 z2_5;
    struct r2sleigh_bits_256 z2_6;
    struct r2sleigh_bits_256 z2_7;
    struct r2sleigh_bits_256 z2_8;
    struct r2sleigh_bits_256 z2_9;
    struct r2sleigh_bits_256 z2_10;
    struct r2sleigh_bits_256 z2_11;
    struct r2sleigh_bits_256 z0_22;
    struct r2sleigh_bits_256 z0_23;
    struct r2sleigh_bits_256 z0_24;
    struct r2sleigh_bits_256 z0_25;
    struct r2sleigh_bits_256 z0_26;
    struct r2sleigh_bits_256 z0_27;
    struct r2sleigh_bits_256 z0_28;
    struct r2sleigh_bits_256 z0_29;
    struct r2sleigh_bits_256 z4_1;
    struct r2sleigh_bits_256 z4_2;
    struct r2sleigh_bits_256 z4_3;
    struct r2sleigh_bits_256 z4_4;
    struct r2sleigh_bits_256 z4_5;
    struct r2sleigh_bits_256 z4_6;
    struct r2sleigh_bits_256 z4_7;
    struct r2sleigh_bits_256 z4_8;
    uint64_t tmp_lane_100000928_0_0_1;
    uint8_t tmp_lane_10000092c_0_2_1;
    struct r2sleigh_bits_256 z29_46;
    struct r2sleigh_bits_256 z29_47;
    struct r2sleigh_bits_256 z29_48;
    struct r2sleigh_bits_256 z29_49;
    struct r2sleigh_bits_256 z29_50;
    struct r2sleigh_bits_256 z29_51;
    struct r2sleigh_bits_256 z29_52;
    struct r2sleigh_bits_256 z29_53;
    uint8_t tmp_lane_10000092c_8_2_1;
    struct r2sleigh_bits_256 z29_54;
    struct r2sleigh_bits_256 z29_55;
    struct r2sleigh_bits_256 z29_56;
    struct r2sleigh_bits_256 z29_57;
    struct r2sleigh_bits_256 z29_58;
    struct r2sleigh_bits_256 z29_59;
    struct r2sleigh_bits_256 z29_60;
    struct r2sleigh_bits_256 z29_61;
    uint64_t tmp_lane_100000930_0_0_1;
    uint64_t tmp_lane_100000930_0_1_1;
    uint64_t tmp_lane_100000930_0_2_1;
    struct r2sleigh_bits_256 z20_6;
    uint64_t tmp_lane_100000930_1_0_1;
    uint64_t tmp_lane_100000930_1_1_1;
    uint64_t tmp_lane_100000930_1_2_1;
    struct r2sleigh_bits_256 z20_7;
    struct r2sleigh_bits_256 z20_8;
    uint64_t tmp_lane_100000934_0_0_1;
    uint8_t tmp_lane_100000938_0_2_1;
    struct r2sleigh_bits_256 z29_68;
    struct r2sleigh_bits_256 z29_69;
    struct r2sleigh_bits_256 z29_70;
    struct r2sleigh_bits_256 z29_71;
    struct r2sleigh_bits_256 z29_72;
    struct r2sleigh_bits_256 z29_73;
    struct r2sleigh_bits_256 z29_74;
    struct r2sleigh_bits_256 z29_75;
    uint8_t tmp_lane_100000938_8_2_1;
    struct r2sleigh_bits_256 z29_76;
    struct r2sleigh_bits_256 z29_77;
    struct r2sleigh_bits_256 z29_78;
    struct r2sleigh_bits_256 z29_79;
    struct r2sleigh_bits_256 z29_80;
    struct r2sleigh_bits_256 z29_81;
    struct r2sleigh_bits_256 z29_82;
    struct r2sleigh_bits_256 z29_83;
    uint64_t tmp_lane_10000093c_0_0_1;
    uint64_t tmp_lane_10000093c_0_1_1;
    uint64_t tmp_lane_10000093c_0_2_1;
    struct r2sleigh_bits_256 z7_6;
    uint64_t tmp_lane_10000093c_1_0_1;
    uint64_t tmp_lane_10000093c_1_1_1;
    uint64_t tmp_lane_10000093c_1_2_1;
    struct r2sleigh_bits_256 z7_7;
    struct r2sleigh_bits_256 z7_8;
    uint64_t tmp_lane_100000940_0_0_1;
    uint8_t tmp_lane_100000944_0_2_1;
    struct r2sleigh_bits_256 z29_90;
    struct r2sleigh_bits_256 z29_91;
    struct r2sleigh_bits_256 z29_92;
    struct r2sleigh_bits_256 z29_93;
    struct r2sleigh_bits_256 z29_94;
    struct r2sleigh_bits_256 z29_95;
    struct r2sleigh_bits_256 z29_96;
    struct r2sleigh_bits_256 z29_97;
    uint8_t tmp_lane_100000944_8_2_1;
    struct r2sleigh_bits_256 z29_98;
    struct r2sleigh_bits_256 z29_99;
    struct r2sleigh_bits_256 z29_100;
    struct r2sleigh_bits_256 z29_101;
    struct r2sleigh_bits_256 z29_102;
    struct r2sleigh_bits_256 z29_103;
    struct r2sleigh_bits_256 z29_104;
    struct r2sleigh_bits_256 z29_105;
    uint64_t tmp_lane_100000948_0_0_1;
    uint64_t tmp_lane_100000948_0_1_1;
    uint64_t tmp_lane_100000948_0_2_1;
    struct r2sleigh_bits_256 z17_6;
    uint64_t tmp_lane_100000948_1_0_1;
    uint64_t tmp_lane_100000948_1_1_1;
    uint64_t tmp_lane_100000948_1_2_1;
    struct r2sleigh_bits_256 z17_7;
    struct r2sleigh_bits_256 z17_8;
    uint64_t tmp_lane_10000094c_0_0_1;
    uint8_t tmp_lane_100000950_0_2_1;
    struct r2sleigh_bits_256 z29_112;
    struct r2sleigh_bits_256 z29_113;
    struct r2sleigh_bits_256 z29_114;
    struct r2sleigh_bits_256 z29_115;
    struct r2sleigh_bits_256 z29_116;
    struct r2sleigh_bits_256 z29_117;
    struct r2sleigh_bits_256 z29_118;
    struct r2sleigh_bits_256 z29_119;
    uint8_t tmp_lane_100000950_8_2_1;
    struct r2sleigh_bits_256 z29_120;
    struct r2sleigh_bits_256 z29_121;
    struct r2sleigh_bits_256 z29_122;
    struct r2sleigh_bits_256 z29_123;
    struct r2sleigh_bits_256 z29_124;
    struct r2sleigh_bits_256 z29_125;
    struct r2sleigh_bits_256 z29_126;
    struct r2sleigh_bits_256 z29_127;
    uint64_t tmp_lane_100000954_0_0_1;
    uint64_t tmp_lane_100000954_0_1_1;
    uint64_t tmp_lane_100000954_0_2_1;
    struct r2sleigh_bits_256 z6_6;
    uint64_t tmp_lane_100000954_1_0_1;
    uint64_t tmp_lane_100000954_1_1_1;
    uint64_t tmp_lane_100000954_1_2_1;
    struct r2sleigh_bits_256 z6_7;
    struct r2sleigh_bits_256 z6_8;
    uint64_t tmp_lane_100000958_0_0_1;
    uint8_t tmp_lane_10000095c_0_2_1;
    struct r2sleigh_bits_256 z29_134;
    struct r2sleigh_bits_256 z29_135;
    struct r2sleigh_bits_256 z29_136;
    struct r2sleigh_bits_256 z29_137;
    struct r2sleigh_bits_256 z29_138;
    struct r2sleigh_bits_256 z29_139;
    struct r2sleigh_bits_256 z29_140;
    struct r2sleigh_bits_256 z29_141;
    uint8_t tmp_lane_10000095c_8_2_1;
    struct r2sleigh_bits_256 z29_142;
    struct r2sleigh_bits_256 z29_143;
    struct r2sleigh_bits_256 z29_144;
    struct r2sleigh_bits_256 z29_145;
    struct r2sleigh_bits_256 z29_146;
    struct r2sleigh_bits_256 z29_147;
    struct r2sleigh_bits_256 z29_148;
    struct r2sleigh_bits_256 z29_149;
    uint64_t tmp_lane_100000960_0_0_1;
    uint64_t tmp_lane_100000960_0_1_1;
    uint64_t tmp_lane_100000960_0_2_1;
    struct r2sleigh_bits_256 z16_6;
    uint64_t tmp_lane_100000960_1_0_1;
    uint64_t tmp_lane_100000960_1_1_1;
    uint64_t tmp_lane_100000960_1_2_1;
    struct r2sleigh_bits_256 z16_7;
    struct r2sleigh_bits_256 z16_8;
    uint64_t tmp_lane_100000964_0_0_1;
    uint8_t tmp_lane_100000968_0_2_1;
    struct r2sleigh_bits_256 z29_156;
    struct r2sleigh_bits_256 z29_157;
    struct r2sleigh_bits_256 z29_158;
    struct r2sleigh_bits_256 z29_159;
    struct r2sleigh_bits_256 z29_160;
    struct r2sleigh_bits_256 z29_161;
    struct r2sleigh_bits_256 z29_162;
    struct r2sleigh_bits_256 z29_163;
    uint8_t tmp_lane_100000968_8_2_1;
    struct r2sleigh_bits_256 z29_164;
    struct r2sleigh_bits_256 z29_165;
    struct r2sleigh_bits_256 z29_166;
    struct r2sleigh_bits_256 z29_167;
    struct r2sleigh_bits_256 z29_168;
    struct r2sleigh_bits_256 z29_169;
    struct r2sleigh_bits_256 z29_170;
    struct r2sleigh_bits_256 z29_171;
    uint64_t tmp_lane_10000096c_0_0_1;
    uint64_t tmp_lane_10000096c_0_1_1;
    uint64_t tmp_lane_10000096c_0_2_1;
    struct r2sleigh_bits_256 z5_6;
    uint64_t tmp_lane_10000096c_1_0_1;
    uint64_t tmp_lane_10000096c_1_1_1;
    uint64_t tmp_lane_10000096c_1_2_1;
    struct r2sleigh_bits_256 z5_7;
    struct r2sleigh_bits_256 z5_8;
    uint64_t tmp_lane_100000974_0_0_1;
    uint8_t tmp_lane_100000978_0_2_1;
    struct r2sleigh_bits_256 z28_33;
    struct r2sleigh_bits_256 z28_34;
    struct r2sleigh_bits_256 z28_35;
    struct r2sleigh_bits_256 z28_36;
    struct r2sleigh_bits_256 z28_37;
    struct r2sleigh_bits_256 z28_38;
    struct r2sleigh_bits_256 z28_39;
    struct r2sleigh_bits_256 z28_40;
    uint8_t tmp_lane_100000978_8_2_1;
    struct r2sleigh_bits_256 z28_41;
    struct r2sleigh_bits_256 z28_42;
    struct r2sleigh_bits_256 z28_43;
    struct r2sleigh_bits_256 z28_44;
    struct r2sleigh_bits_256 z28_45;
    struct r2sleigh_bits_256 z28_46;
    struct r2sleigh_bits_256 z28_47;
    struct r2sleigh_bits_256 z28_48;
    uint64_t tmp_lane_10000097c_0_0_1;
    uint64_t tmp_lane_10000097c_0_1_1;
    uint64_t tmp_lane_10000097c_0_2_1;
    struct r2sleigh_bits_256 z29_177;
    uint64_t tmp_lane_10000097c_1_0_1;
    uint64_t tmp_lane_10000097c_1_1_1;
    uint64_t tmp_lane_10000097c_1_2_1;
    struct r2sleigh_bits_256 z29_178;
    struct r2sleigh_bits_256 z29_179;
    uint64_t tmp_lane_100000980_0_0_1;
    uint8_t tmp_lane_100000984_0_2_1;
    struct r2sleigh_bits_256 z27_41;
    struct r2sleigh_bits_256 z27_42;
    struct r2sleigh_bits_256 z27_43;
    struct r2sleigh_bits_256 z27_44;
    struct r2sleigh_bits_256 z27_45;
    struct r2sleigh_bits_256 z27_46;
    struct r2sleigh_bits_256 z27_47;
    struct r2sleigh_bits_256 z27_48;
    uint8_t tmp_lane_100000984_8_2_1;
    struct r2sleigh_bits_256 z27_49;
    struct r2sleigh_bits_256 z27_50;
    struct r2sleigh_bits_256 z27_51;
    struct r2sleigh_bits_256 z27_52;
    struct r2sleigh_bits_256 z27_53;
    struct r2sleigh_bits_256 z27_54;
    struct r2sleigh_bits_256 z27_55;
    struct r2sleigh_bits_256 z27_56;
    uint64_t tmp_lane_10000098c_0_0_1;
    uint64_t tmp_lane_10000098c_0_1_1;
    uint64_t tmp_lane_10000098c_0_2_1;
    struct r2sleigh_bits_256 z28_54;
    uint64_t tmp_lane_10000098c_1_0_1;
    uint64_t tmp_lane_10000098c_1_1_1;
    uint64_t tmp_lane_10000098c_1_2_1;
    struct r2sleigh_bits_256 z28_55;
    __uint128_t tmp_lane_100000990_1_0_1;
    struct r2sleigh_bits_256 z27_59;
    struct r2sleigh_bits_256 z27_60;
    uint64_t tmp_lane_100000998_0_0_1;
    uint8_t tmp_lane_10000099c_0_2_1;
    struct r2sleigh_bits_256 z4_15;
    struct r2sleigh_bits_256 z4_16;
    struct r2sleigh_bits_256 z4_17;
    struct r2sleigh_bits_256 z4_18;
    struct r2sleigh_bits_256 z4_19;
    struct r2sleigh_bits_256 z4_20;
    struct r2sleigh_bits_256 z4_21;
    struct r2sleigh_bits_256 z4_22;
    uint8_t tmp_lane_10000099c_8_2_1;
    struct r2sleigh_bits_256 z4_23;
    struct r2sleigh_bits_256 z4_24;
    struct r2sleigh_bits_256 z4_25;
    struct r2sleigh_bits_256 z4_26;
    struct r2sleigh_bits_256 z4_27;
    struct r2sleigh_bits_256 z4_28;
    struct r2sleigh_bits_256 z4_29;
    struct r2sleigh_bits_256 z4_30;
    uint64_t tmp_lane_1000009a0_0_0_1;
    uint64_t tmp_lane_1000009a0_0_1_1;
    uint64_t tmp_lane_1000009a0_0_2_1;
    struct r2sleigh_bits_256 z26_6;
    uint64_t tmp_lane_1000009a0_1_0_1;
    uint64_t tmp_lane_1000009a0_1_1_1;
    uint64_t tmp_lane_1000009a0_1_2_1;
    struct r2sleigh_bits_256 z26_7;
    struct r2sleigh_bits_256 z26_8;
    uint64_t tmp_lane_1000009a4_0_0_1;
    uint8_t tmp_lane_1000009a8_0_2_1;
    struct r2sleigh_bits_256 z0_36;
    struct r2sleigh_bits_256 z0_37;
    struct r2sleigh_bits_256 z0_38;
    struct r2sleigh_bits_256 z0_39;
    struct r2sleigh_bits_256 z0_40;
    struct r2sleigh_bits_256 z0_41;
    struct r2sleigh_bits_256 z0_42;
    struct r2sleigh_bits_256 z0_43;
    uint8_t tmp_lane_1000009a8_8_2_1;
    struct r2sleigh_bits_256 z0_44;
    struct r2sleigh_bits_256 z0_45;
    struct r2sleigh_bits_256 z0_46;
    struct r2sleigh_bits_256 z0_47;
    struct r2sleigh_bits_256 z0_48;
    struct r2sleigh_bits_256 z0_49;
    struct r2sleigh_bits_256 z0_50;
    struct r2sleigh_bits_256 z0_51;
    uint64_t tmp_lane_1000009ac_0_0_1;
    uint64_t tmp_lane_1000009ac_0_1_1;
    uint64_t tmp_lane_1000009ac_0_2_1;
    struct r2sleigh_bits_256 z23_6;
    uint64_t tmp_lane_1000009ac_1_0_1;
    uint64_t tmp_lane_1000009ac_1_1_1;
    uint64_t tmp_lane_1000009ac_1_2_1;
    struct r2sleigh_bits_256 z23_7;
    struct r2sleigh_bits_256 z23_8;
    uint64_t tmp_lane_1000009b0_0_0_1;
    uint8_t tmp_lane_1000009b4_0_2_1;
    struct r2sleigh_bits_256 z0_58;
    struct r2sleigh_bits_256 z0_59;
    struct r2sleigh_bits_256 z0_60;
    struct r2sleigh_bits_256 z0_61;
    struct r2sleigh_bits_256 z0_62;
    struct r2sleigh_bits_256 z0_63;
    struct r2sleigh_bits_256 z0_64;
    struct r2sleigh_bits_256 z0_65;
    uint8_t tmp_lane_1000009b4_8_2_1;
    struct r2sleigh_bits_256 z0_66;
    struct r2sleigh_bits_256 z0_67;
    struct r2sleigh_bits_256 z0_68;
    struct r2sleigh_bits_256 z0_69;
    struct r2sleigh_bits_256 z0_70;
    struct r2sleigh_bits_256 z0_71;
    struct r2sleigh_bits_256 z0_72;
    struct r2sleigh_bits_256 z0_73;
    uint64_t tmp_lane_1000009b8_0_0_1;
    uint64_t tmp_lane_1000009b8_0_1_1;
    uint64_t tmp_lane_1000009b8_0_2_1;
    struct r2sleigh_bits_256 z24_6;
    uint64_t tmp_lane_1000009b8_1_0_1;
    uint64_t tmp_lane_1000009b8_1_1_1;
    uint64_t tmp_lane_1000009b8_1_2_1;
    struct r2sleigh_bits_256 z24_7;
    struct r2sleigh_bits_256 z24_8;
    uint64_t tmp_lane_1000009bc_0_0_1;
    uint8_t tmp_lane_1000009c0_0_2_1;
    struct r2sleigh_bits_256 z0_80;
    struct r2sleigh_bits_256 z0_81;
    struct r2sleigh_bits_256 z0_82;
    struct r2sleigh_bits_256 z0_83;
    struct r2sleigh_bits_256 z0_84;
    struct r2sleigh_bits_256 z0_85;
    struct r2sleigh_bits_256 z0_86;
    struct r2sleigh_bits_256 z0_87;
    uint8_t tmp_lane_1000009c0_8_2_1;
    struct r2sleigh_bits_256 z0_88;
    struct r2sleigh_bits_256 z0_89;
    struct r2sleigh_bits_256 z0_90;
    struct r2sleigh_bits_256 z0_91;
    struct r2sleigh_bits_256 z0_92;
    struct r2sleigh_bits_256 z0_93;
    struct r2sleigh_bits_256 z0_94;
    struct r2sleigh_bits_256 z0_95;
    uint64_t tmp_lane_1000009c4_0_0_1;
    uint64_t tmp_lane_1000009c4_0_1_1;
    uint64_t tmp_lane_1000009c4_0_2_1;
    struct r2sleigh_bits_256 z19_6;
    uint64_t tmp_lane_1000009c4_1_0_1;
    uint64_t tmp_lane_1000009c4_1_1_1;
    uint64_t tmp_lane_1000009c4_1_2_1;
    struct r2sleigh_bits_256 z19_7;
    struct r2sleigh_bits_256 z19_8;
    uint64_t tmp_lane_1000009c8_0_0_1;
    uint8_t tmp_lane_1000009cc_0_2_1;
    struct r2sleigh_bits_256 z0_102;
    struct r2sleigh_bits_256 z0_103;
    struct r2sleigh_bits_256 z0_104;
    struct r2sleigh_bits_256 z0_105;
    struct r2sleigh_bits_256 z0_106;
    struct r2sleigh_bits_256 z0_107;
    struct r2sleigh_bits_256 z0_108;
    struct r2sleigh_bits_256 z0_109;
    uint8_t tmp_lane_1000009cc_8_2_1;
    struct r2sleigh_bits_256 z0_110;
    struct r2sleigh_bits_256 z0_111;
    struct r2sleigh_bits_256 z0_112;
    struct r2sleigh_bits_256 z0_113;
    struct r2sleigh_bits_256 z0_114;
    struct r2sleigh_bits_256 z0_115;
    struct r2sleigh_bits_256 z0_116;
    struct r2sleigh_bits_256 z0_117;
    uint64_t tmp_lane_1000009d0_0_0_1;
    uint64_t tmp_lane_1000009d0_0_1_1;
    uint64_t tmp_lane_1000009d0_0_2_1;
    struct r2sleigh_bits_256 z25_6;
    uint64_t tmp_lane_1000009d0_1_0_1;
    uint64_t tmp_lane_1000009d0_1_1_1;
    uint64_t tmp_lane_1000009d0_1_2_1;
    struct r2sleigh_bits_256 z25_7;
    struct r2sleigh_bits_256 z25_8;
    uint64_t tmp_lane_1000009d4_0_0_1;
    uint8_t tmp_lane_1000009d8_0_2_1;
    struct r2sleigh_bits_256 z0_124;
    struct r2sleigh_bits_256 z0_125;
    struct r2sleigh_bits_256 z0_126;
    struct r2sleigh_bits_256 z0_127;
    struct r2sleigh_bits_256 z0_128;
    struct r2sleigh_bits_256 z0_129;
    struct r2sleigh_bits_256 z0_130;
    struct r2sleigh_bits_256 z0_131;
    uint8_t tmp_lane_1000009d8_8_2_1;
    struct r2sleigh_bits_256 z0_132;
    struct r2sleigh_bits_256 z0_133;
    struct r2sleigh_bits_256 z0_134;
    struct r2sleigh_bits_256 z0_135;
    struct r2sleigh_bits_256 z0_136;
    struct r2sleigh_bits_256 z0_137;
    struct r2sleigh_bits_256 z0_138;
    struct r2sleigh_bits_256 z0_139;
    uint64_t tmp_lane_1000009dc_0_0_1;
    uint64_t tmp_lane_1000009dc_0_1_1;
    uint64_t tmp_lane_1000009dc_0_2_1;
    struct r2sleigh_bits_256 z21_6;
    uint64_t tmp_lane_1000009dc_1_0_1;
    uint64_t tmp_lane_1000009dc_1_1_1;
    uint64_t tmp_lane_1000009dc_1_2_1;
    struct r2sleigh_bits_256 z21_7;
    struct r2sleigh_bits_256 z21_8;
    uint64_t tmp_lane_1000009e0_0_0_1;
    uint8_t tmp_lane_1000009e4_0_2_1;
    struct r2sleigh_bits_256 z0_146;
    struct r2sleigh_bits_256 z0_147;
    struct r2sleigh_bits_256 z0_148;
    struct r2sleigh_bits_256 z0_149;
    struct r2sleigh_bits_256 z0_150;
    struct r2sleigh_bits_256 z0_151;
    struct r2sleigh_bits_256 z0_152;
    struct r2sleigh_bits_256 z0_153;
    uint8_t tmp_lane_1000009e4_8_2_1;
    struct r2sleigh_bits_256 z0_154;
    struct r2sleigh_bits_256 z0_155;
    struct r2sleigh_bits_256 z0_156;
    struct r2sleigh_bits_256 z0_157;
    struct r2sleigh_bits_256 z0_158;
    struct r2sleigh_bits_256 z0_159;
    struct r2sleigh_bits_256 z0_160;
    struct r2sleigh_bits_256 z0_161;
    uint64_t tmp_lane_1000009e8_0_0_1;
    uint64_t tmp_lane_1000009e8_0_1_1;
    uint64_t tmp_lane_1000009e8_0_2_1;
    struct r2sleigh_bits_256 z22_6;
    uint64_t tmp_lane_1000009e8_1_0_1;
    uint64_t tmp_lane_1000009e8_1_1_1;
    uint64_t tmp_lane_1000009e8_1_2_1;
    struct r2sleigh_bits_256 z22_7;
    struct r2sleigh_bits_256 z22_8;
    uint64_t tmp_lane_1000009ec_0_0_1;
    uint8_t tmp_lane_1000009f0_0_2_1;
    struct r2sleigh_bits_256 z0_168;
    struct r2sleigh_bits_256 z0_169;
    struct r2sleigh_bits_256 z0_170;
    struct r2sleigh_bits_256 z0_171;
    struct r2sleigh_bits_256 z0_172;
    struct r2sleigh_bits_256 z0_173;
    struct r2sleigh_bits_256 z0_174;
    struct r2sleigh_bits_256 z0_175;
    uint8_t tmp_lane_1000009f0_8_2_1;
    struct r2sleigh_bits_256 z0_176;
    struct r2sleigh_bits_256 z0_177;
    struct r2sleigh_bits_256 z0_178;
    struct r2sleigh_bits_256 z0_179;
    struct r2sleigh_bits_256 z0_180;
    struct r2sleigh_bits_256 z0_181;
    struct r2sleigh_bits_256 z0_182;
    struct r2sleigh_bits_256 z0_183;
    uint64_t tmp_lane_1000009f4_0_0_1;
    uint64_t tmp_lane_1000009f4_0_1_1;
    uint64_t tmp_lane_1000009f4_0_2_1;
    struct r2sleigh_bits_256 z18_6;
    uint64_t tmp_lane_1000009f4_1_0_1;
    uint64_t tmp_lane_1000009f4_1_1_1;
    uint64_t tmp_lane_1000009f4_1_2_1;
    struct r2sleigh_bits_256 z18_7;
    struct r2sleigh_bits_256 z18_8;
    uint64_t tmp_1000009fc_8_1;
    uint64_t tmp_lane_100000a1c_0_1_1;
    uint64_t tmp_lane_100000a1c_1_1_1;
    uint64_t x8_7;
    uint64_t x8_8;
    uint64_t x9_4;
    struct r2sleigh_bits_256 z0_207;
    struct r2sleigh_bits_256 z0_208;
    struct r2sleigh_bits_256 z0_209;
    struct r2sleigh_bits_256 z0_210;
    struct r2sleigh_bits_256 z0_211;
    struct r2sleigh_bits_256 z1_54;
    struct r2sleigh_bits_256 z1_55;
    struct r2sleigh_bits_256 z1_56;
    uint8_t tmp_lane_100000a6c_0_0_1;
    uint8_t tmp_lane_100000a70_0_0_1;
    struct r2sleigh_bits_256 z5_14;
    struct r2sleigh_bits_256 z5_15;
    struct r2sleigh_bits_256 z5_16;
    struct r2sleigh_bits_256 z6_18;
    struct r2sleigh_bits_256 z6_19;
    struct r2sleigh_bits_256 z6_20;
    uint64_t x10_6;
    uint64_t x8_10;
    struct r2sleigh_bits_256 z0_213;
    struct r2sleigh_bits_256 z1_58;
    struct r2sleigh_bits_256 z5_18;
    struct r2sleigh_bits_256 z6_22;
    uint64_t tmp_lane_100000a8c_2_0_1;
    uint8_t tmp_lane_100000a98_0_2_1;
    uint8_t tmp_lane_100000a98_1_2_1;
    uint8_t tmp_lane_100000a98_2_2_1;
    uint8_t tmp_lane_100000a98_3_2_1;
    uint8_t tmp_lane_100000a98_4_2_1;
    uint8_t tmp_lane_100000a98_5_2_1;
    uint8_t tmp_lane_100000a98_6_2_1;
    uint8_t tmp_lane_100000a98_7_2_1;
    struct r2sleigh_bits_256 z16_21;
    struct r2sleigh_bits_256 z16_22;
    struct r2sleigh_bits_256 z16_23;
    struct r2sleigh_bits_256 z16_24;
    struct r2sleigh_bits_256 z16_25;
    struct r2sleigh_bits_256 z16_26;
    struct r2sleigh_bits_256 z16_27;
    struct r2sleigh_bits_256 z16_28;
    uint64_t tmp_lane_100000aa4_0_0_1;
    struct r2sleigh_bits_256 z17_10;
    struct r2sleigh_bits_256 z17_11;
    struct r2sleigh_bits_256 z17_12;
    struct r2sleigh_bits_256 z17_13;
    struct r2sleigh_bits_256 z17_14;
    struct r2sleigh_bits_256 z17_15;
    struct r2sleigh_bits_256 z17_16;
    struct r2sleigh_bits_256 z17_17;
    uint8_t tmp_lane_100000ab0_0_2_1;
    struct r2sleigh_bits_256 z16_35;
    struct r2sleigh_bits_256 z16_36;
    struct r2sleigh_bits_256 z16_37;
    struct r2sleigh_bits_256 z16_38;
    struct r2sleigh_bits_256 z16_39;
    struct r2sleigh_bits_256 z16_40;
    struct r2sleigh_bits_256 z16_41;
    struct r2sleigh_bits_256 z16_42;
    uint8_t tmp_lane_100000ab0_8_2_1;
    struct r2sleigh_bits_256 z16_43;
    struct r2sleigh_bits_256 z16_44;
    struct r2sleigh_bits_256 z16_45;
    struct r2sleigh_bits_256 z16_46;
    struct r2sleigh_bits_256 z16_47;
    struct r2sleigh_bits_256 z16_48;
    struct r2sleigh_bits_256 z16_49;
    struct r2sleigh_bits_256 z16_50;
    uint64_t tmp_lane_100000ab4_0_0_1;
    uint8_t tmp_lane_100000ab8_0_2_1;
    struct r2sleigh_bits_256 z17_24;
    struct r2sleigh_bits_256 z17_25;
    struct r2sleigh_bits_256 z17_26;
    struct r2sleigh_bits_256 z17_27;
    struct r2sleigh_bits_256 z17_28;
    struct r2sleigh_bits_256 z17_29;
    struct r2sleigh_bits_256 z17_30;
    struct r2sleigh_bits_256 z17_31;
    uint8_t tmp_lane_100000ab8_8_2_1;
    struct r2sleigh_bits_256 z17_32;
    struct r2sleigh_bits_256 z17_33;
    struct r2sleigh_bits_256 z17_34;
    struct r2sleigh_bits_256 z17_35;
    struct r2sleigh_bits_256 z17_36;
    struct r2sleigh_bits_256 z17_37;
    struct r2sleigh_bits_256 z17_38;
    struct r2sleigh_bits_256 z17_39;
    struct r2sleigh_bits_256 z18_10;
    struct r2sleigh_bits_256 z18_11;
    struct r2sleigh_bits_256 z18_12;
    struct r2sleigh_bits_256 z18_13;
    struct r2sleigh_bits_256 z18_14;
    struct r2sleigh_bits_256 z18_15;
    struct r2sleigh_bits_256 z18_16;
    struct r2sleigh_bits_256 z18_17;
    uint64_t tmp_lane_100000ac4_0_0_1;
    uint8_t tmp_lane_100000ac8_0_2_1;
    struct r2sleigh_bits_256 z18_24;
    struct r2sleigh_bits_256 z18_25;
    struct r2sleigh_bits_256 z18_26;
    struct r2sleigh_bits_256 z18_27;
    struct r2sleigh_bits_256 z18_28;
    struct r2sleigh_bits_256 z18_29;
    struct r2sleigh_bits_256 z18_30;
    struct r2sleigh_bits_256 z18_31;
    uint8_t tmp_lane_100000ac8_8_2_1;
    struct r2sleigh_bits_256 z18_32;
    struct r2sleigh_bits_256 z18_33;
    struct r2sleigh_bits_256 z18_34;
    struct r2sleigh_bits_256 z18_35;
    struct r2sleigh_bits_256 z18_36;
    struct r2sleigh_bits_256 z18_37;
    struct r2sleigh_bits_256 z18_38;
    struct r2sleigh_bits_256 z18_39;
    struct r2sleigh_bits_256 z19_10;
    struct r2sleigh_bits_256 z19_11;
    struct r2sleigh_bits_256 z19_12;
    struct r2sleigh_bits_256 z19_13;
    struct r2sleigh_bits_256 z19_14;
    struct r2sleigh_bits_256 z19_15;
    struct r2sleigh_bits_256 z19_16;
    struct r2sleigh_bits_256 z19_17;
    uint64_t tmp_lane_100000ad4_0_0_1;
    uint8_t tmp_lane_100000ad8_0_2_1;
    struct r2sleigh_bits_256 z7_44;
    struct r2sleigh_bits_256 z7_45;
    struct r2sleigh_bits_256 z7_46;
    struct r2sleigh_bits_256 z7_47;
    struct r2sleigh_bits_256 z7_48;
    struct r2sleigh_bits_256 z7_49;
    struct r2sleigh_bits_256 z7_50;
    struct r2sleigh_bits_256 z7_51;
    uint8_t tmp_lane_100000ad8_8_2_1;
    struct r2sleigh_bits_256 z7_52;
    struct r2sleigh_bits_256 z7_53;
    struct r2sleigh_bits_256 z7_54;
    struct r2sleigh_bits_256 z7_55;
    struct r2sleigh_bits_256 z7_56;
    struct r2sleigh_bits_256 z7_57;
    struct r2sleigh_bits_256 z7_58;
    struct r2sleigh_bits_256 z7_59;
    uint64_t tmp_lane_100000adc_0_0_1;
    uint64_t tmp_lane_100000adc_0_1_1;
    uint64_t tmp_lane_100000adc_0_2_1;
    struct r2sleigh_bits_256 z6_23;
    uint64_t tmp_lane_100000adc_1_0_1;
    uint64_t tmp_lane_100000adc_1_1_1;
    uint64_t tmp_lane_100000adc_1_2_1;
    struct r2sleigh_bits_256 z6_24;
    struct r2sleigh_bits_256 z6_25;
    uint64_t tmp_lane_100000ae0_0_0_1;
    uint64_t tmp_lane_100000ae0_0_1_1;
    uint64_t tmp_lane_100000ae0_0_2_1;
    struct r2sleigh_bits_256 z5_19;
    uint64_t tmp_lane_100000ae0_1_0_1;
    uint64_t tmp_lane_100000ae0_1_1_1;
    uint64_t tmp_lane_100000ae0_1_2_1;
    struct r2sleigh_bits_256 z5_20;
    struct r2sleigh_bits_256 z5_21;
    uint64_t tmp_lane_100000ae4_0_0_1;
    uint64_t tmp_lane_100000ae4_0_1_1;
    uint64_t tmp_lane_100000ae4_0_2_1;
    struct r2sleigh_bits_256 z1_59;
    uint64_t tmp_lane_100000ae4_1_0_1;
    uint64_t tmp_lane_100000ae4_1_1_1;
    uint64_t tmp_lane_100000ae4_1_2_1;
    struct r2sleigh_bits_256 z1_60;
    struct r2sleigh_bits_256 z1_61;
    uint64_t tmp_lane_100000ae8_0_0_1;
    uint64_t tmp_lane_100000ae8_0_1_1;
    uint64_t tmp_lane_100000ae8_0_2_1;
    struct r2sleigh_bits_256 z0_214;
    uint64_t tmp_lane_100000ae8_1_0_1;
    uint64_t tmp_lane_100000ae8_1_1_1;
    uint64_t tmp_lane_100000ae8_1_2_1;
    struct r2sleigh_bits_256 z0_215;
    struct r2sleigh_bits_256 z0_216;
    uint64_t tmp_100000aec_8_1;
    uint64_t x8_12;
    uint64_t x8_13;
    uint64_t x9_6;
    uint64_t x10_9;
    uint64_t x8_14;
    uint64_t x9_8;
    uint8_t tmp_100000b18_8_1;
    uint64_t x11_2;
    uint64_t x8_15;
    uint64_t tmp_100000b28_8_1;
    uint64_t x8_16;

    /* r2dec proof: no individual construct is marked; 1466 source obligations: 1463 rendered, 3 elided, 0 refused; 1091 statements rendered */
    {
        if ((uint8_t)((uint64_t)arg1 == (uint64_t)0U)) {
            return 0;
        } else {
            if ((uint8_t)((uint64_t)7U < (uint64_t)arg1)) {
                if ((uint8_t)((uint64_t)32U <= (uint64_t)arg1)) {
                    tmp_lane_100000824_0_0_1 = (uint8_t)((uint32_t)arg2 >> 0U);
                    z1_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000824_0_0_1, 0U);
                    z1_2 = r2sleigh_bits_insert_256_8(z1_1, (uint8_t)tmp_lane_100000824_0_0_1, 8U);
                    z1_3 = r2sleigh_bits_insert_256_8(z1_2, (uint8_t)tmp_lane_100000824_0_0_1, 16U);
                    z1_4 = r2sleigh_bits_insert_256_8(z1_3, (uint8_t)tmp_lane_100000824_0_0_1, 24U);
                    z1_5 = r2sleigh_bits_insert_256_8(z1_4, (uint8_t)tmp_lane_100000824_0_0_1, 32U);
                    z1_6 = r2sleigh_bits_insert_256_8(z1_5, (uint8_t)tmp_lane_100000824_0_0_1, 40U);
                    z1_7 = r2sleigh_bits_insert_256_8(z1_6, (uint8_t)tmp_lane_100000824_0_0_1, 48U);
                    z1_8 = r2sleigh_bits_insert_256_8(z1_7, (uint8_t)tmp_lane_100000824_0_0_1, 56U);
                    z1_9 = r2sleigh_bits_insert_256_8(z1_8, (uint8_t)tmp_lane_100000824_0_0_1, 64U);
                    z1_10 = r2sleigh_bits_insert_256_8(z1_9, (uint8_t)tmp_lane_100000824_0_0_1, 72U);
                    z1_11 = r2sleigh_bits_insert_256_8(z1_10, (uint8_t)tmp_lane_100000824_0_0_1, 80U);
                    z1_12 = r2sleigh_bits_insert_256_8(z1_11, (uint8_t)tmp_lane_100000824_0_0_1, 88U);
                    z1_13 = r2sleigh_bits_insert_256_8(z1_12, (uint8_t)tmp_lane_100000824_0_0_1, 96U);
                    z1_14 = r2sleigh_bits_insert_256_8(z1_13, (uint8_t)tmp_lane_100000824_0_0_1, 104U);
                    z1_15 = r2sleigh_bits_insert_256_8(z1_14, (uint8_t)tmp_lane_100000824_0_0_1, 112U);
                    z1_16 = r2sleigh_bits_insert_256_8(z1_15, (uint8_t)tmp_lane_100000824_0_0_1, 120U);
                    tmp_lane_100000828_0_0_1 = (uint8_t)((uint32_t)arg3 >> 0U);
                    z0_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000828_0_0_1, 0U);
                    z0_2 = r2sleigh_bits_insert_256_8(z0_1, (uint8_t)tmp_lane_100000828_0_0_1, 8U);
                    z0_3 = r2sleigh_bits_insert_256_8(z0_2, (uint8_t)tmp_lane_100000828_0_0_1, 16U);
                    z0_4 = r2sleigh_bits_insert_256_8(z0_3, (uint8_t)tmp_lane_100000828_0_0_1, 24U);
                    z0_5 = r2sleigh_bits_insert_256_8(z0_4, (uint8_t)tmp_lane_100000828_0_0_1, 32U);
                    z0_6 = r2sleigh_bits_insert_256_8(z0_5, (uint8_t)tmp_lane_100000828_0_0_1, 40U);
                    z0_7 = r2sleigh_bits_insert_256_8(z0_6, (uint8_t)tmp_lane_100000828_0_0_1, 48U);
                    z0_8 = r2sleigh_bits_insert_256_8(z0_7, (uint8_t)tmp_lane_100000828_0_0_1, 56U);
                    z0_9 = r2sleigh_bits_insert_256_8(z0_8, (uint8_t)tmp_lane_100000828_0_0_1, 64U);
                    z0_10 = r2sleigh_bits_insert_256_8(z0_9, (uint8_t)tmp_lane_100000828_0_0_1, 72U);
                    z0_11 = r2sleigh_bits_insert_256_8(z0_10, (uint8_t)tmp_lane_100000828_0_0_1, 80U);
                    z0_12 = r2sleigh_bits_insert_256_8(z0_11, (uint8_t)tmp_lane_100000828_0_0_1, 88U);
                    z0_13 = r2sleigh_bits_insert_256_8(z0_12, (uint8_t)tmp_lane_100000828_0_0_1, 96U);
                    z0_14 = r2sleigh_bits_insert_256_8(z0_13, (uint8_t)tmp_lane_100000828_0_0_1, 104U);
                    z0_15 = r2sleigh_bits_insert_256_8(z0_14, (uint8_t)tmp_lane_100000828_0_0_1, 112U);
                    z0_16 = r2sleigh_bits_insert_256_8(z0_15, (uint8_t)tmp_lane_100000828_0_0_1, 120U);
                    tmp_lane_10000082c_1_0_1 = r2sleigh_bits_extract_256_128(z0_16, 0U);
                    tmp_lane_10000082c_3_0_1 = r2sleigh_bits_extract_256_128(z1_16, 0U);
                    z27_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z27_2 = r2sleigh_bits_insert_256_64(z27_1, (uint64_t)0U, 64U);
                    z27_3 = r2sleigh_bits_insert_256_64(z27_2, (uint64_t)0U, 128U);
                    z29_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z29_2 = r2sleigh_bits_insert_256_64(z29_1, (uint64_t)0U, 64U);
                    z29_3 = r2sleigh_bits_insert_256_64(z29_2, (uint64_t)0U, 128U);
                    z5_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z5_2 = r2sleigh_bits_insert_256_64(z5_1, (uint64_t)0U, 64U);
                    z5_3 = r2sleigh_bits_insert_256_64(z5_2, (uint64_t)0U, 128U);
                    z16_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z16_2 = r2sleigh_bits_insert_256_64(z16_1, (uint64_t)0U, 64U);
                    z16_3 = r2sleigh_bits_insert_256_64(z16_2, (uint64_t)0U, 128U);
                    z6_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z6_2 = r2sleigh_bits_insert_256_64(z6_1, (uint64_t)0U, 64U);
                    z6_3 = r2sleigh_bits_insert_256_64(z6_2, (uint64_t)0U, 128U);
                    z17_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z17_2 = r2sleigh_bits_insert_256_64(z17_1, (uint64_t)0U, 64U);
                    z17_3 = r2sleigh_bits_insert_256_64(z17_2, (uint64_t)0U, 128U);
                    z7_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z7_2 = r2sleigh_bits_insert_256_64(z7_1, (uint64_t)0U, 64U);
                    z7_3 = r2sleigh_bits_insert_256_64(z7_2, (uint64_t)0U, 128U);
                    z20_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z20_2 = r2sleigh_bits_insert_256_64(z20_1, (uint64_t)0U, 64U);
                    z20_3 = r2sleigh_bits_insert_256_64(z20_2, (uint64_t)0U, 128U);
                    z18_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z18_2 = r2sleigh_bits_insert_256_64(z18_1, (uint64_t)0U, 64U);
                    z18_3 = r2sleigh_bits_insert_256_64(z18_2, (uint64_t)0U, 128U);
                    z22_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z22_2 = r2sleigh_bits_insert_256_64(z22_1, (uint64_t)0U, 64U);
                    z22_3 = r2sleigh_bits_insert_256_64(z22_2, (uint64_t)0U, 128U);
                    z21_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z21_2 = r2sleigh_bits_insert_256_64(z21_1, (uint64_t)0U, 64U);
                    z21_3 = r2sleigh_bits_insert_256_64(z21_2, (uint64_t)0U, 128U);
                    z25_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z25_2 = r2sleigh_bits_insert_256_64(z25_1, (uint64_t)0U, 64U);
                    z25_3 = r2sleigh_bits_insert_256_64(z25_2, (uint64_t)0U, 128U);
                    z19_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z19_2 = r2sleigh_bits_insert_256_64(z19_1, (uint64_t)0U, 64U);
                    z19_3 = r2sleigh_bits_insert_256_64(z19_2, (uint64_t)0U, 128U);
                    z24_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z24_2 = r2sleigh_bits_insert_256_64(z24_1, (uint64_t)0U, 64U);
                    z24_3 = r2sleigh_bits_insert_256_64(z24_2, (uint64_t)0U, 128U);
                    z23_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z23_2 = r2sleigh_bits_insert_256_64(z23_1, (uint64_t)0U, 64U);
                    z23_3 = r2sleigh_bits_insert_256_64(z23_2, (uint64_t)0U, 128U);
                    z26_1 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z26_2 = r2sleigh_bits_insert_256_64(z26_1, (uint64_t)0U, 64U);
                    z26_3 = r2sleigh_bits_insert_256_64(z26_2, (uint64_t)0U, 128U);
                    x10_2 = (uint64_t)((uint64_t)arg1 & (uint64_t)-0x20);
                    x8_5 = (uint64_t)((uint64_t)arg0 + (uint64_t)16U);
                    z16_5 = r2sleigh_bits_insert_256_64(z16_3, (uint64_t)0U, 192U);
                    z17_5 = r2sleigh_bits_insert_256_64(z17_3, (uint64_t)0U, 192U);
                    z18_5 = r2sleigh_bits_insert_256_64(z18_3, (uint64_t)0U, 192U);
                    z19_5 = r2sleigh_bits_insert_256_64(z19_3, (uint64_t)0U, 192U);
                    z20_5 = r2sleigh_bits_insert_256_64(z20_3, (uint64_t)0U, 192U);
                    z21_5 = r2sleigh_bits_insert_256_64(z21_3, (uint64_t)0U, 192U);
                    z22_5 = r2sleigh_bits_insert_256_64(z22_3, (uint64_t)0U, 192U);
                    z23_5 = r2sleigh_bits_insert_256_64(z23_3, (uint64_t)0U, 192U);
                    z24_5 = r2sleigh_bits_insert_256_64(z24_3, (uint64_t)0U, 192U);
                    z25_5 = r2sleigh_bits_insert_256_64(z25_3, (uint64_t)0U, 192U);
                    z26_5 = r2sleigh_bits_insert_256_64(z26_3, (uint64_t)0U, 192U);
                    z27_5 = r2sleigh_bits_insert_256_64(z27_3, (uint64_t)0U, 192U);
                    z29_5 = r2sleigh_bits_insert_256_64(z29_3, (uint64_t)0U, 192U);
                    z5_5 = r2sleigh_bits_insert_256_64(z5_3, (uint64_t)0U, 192U);
                    z6_5 = r2sleigh_bits_insert_256_64(z6_3, (uint64_t)0U, 192U);
                    z7_5 = r2sleigh_bits_insert_256_64(z7_3, (uint64_t)0U, 192U);
                    do {
                        tmp_lane_100000884_1_0_1 = r2sleigh_bits_extract_256_128(z29_5, 0U);
                        tmp_lane_100000884_3_0_1 = r2sleigh_bits_extract_256_128(z27_5, 0U);
                        tmp_100000888_0_1 = (uint64_t)((uint64_t)x8_5 - (uint64_t)16U);
                        tmp_lane_100000888_1_0_1 = r2sleigh_load_u128((void*)tmp_100000888_0_1);
                        tmp_100000888_8_1 = (uint64_t)((uint64_t)tmp_100000888_0_1 + (uint64_t)16U);
                        tmp_lane_100000888_5_0_1 = r2sleigh_load_u128((void*)tmp_100000888_8_1);
                        tmp_lane_100000890_1_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 0U);
                        tmp_lane_100000890_1_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 0U);
                        tmp_lane_100000890_3_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 8U);
                        tmp_lane_100000890_3_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 8U);
                        tmp_lane_100000890_5_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 16U);
                        tmp_lane_100000890_5_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 16U);
                        tmp_lane_100000890_7_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 24U);
                        tmp_lane_100000890_7_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 24U);
                        tmp_lane_100000890_9_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 32U);
                        tmp_lane_100000890_9_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 32U);
                        tmp_lane_100000890_b_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 40U);
                        tmp_lane_100000890_b_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 40U);
                        tmp_lane_100000890_d_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 48U);
                        tmp_lane_100000890_d_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 48U);
                        tmp_lane_100000890_f_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 56U);
                        tmp_lane_100000890_f_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 56U);
                        tmp_lane_100000890_11_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 64U);
                        tmp_lane_100000890_11_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 64U);
                        tmp_lane_100000890_13_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 72U);
                        tmp_lane_100000890_13_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 72U);
                        tmp_lane_100000890_15_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 80U);
                        tmp_lane_100000890_15_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 80U);
                        tmp_lane_100000890_17_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 88U);
                        tmp_lane_100000890_17_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 88U);
                        tmp_lane_100000890_19_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 96U);
                        tmp_lane_100000890_19_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 96U);
                        tmp_lane_100000890_1b_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 104U);
                        tmp_lane_100000890_1b_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 104U);
                        tmp_lane_100000890_1d_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 112U);
                        tmp_lane_100000890_1d_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 112U);
                        tmp_lane_100000890_1f_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 120U);
                        tmp_lane_100000890_1f_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 120U);
                        tmp_lane_100000894_1_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 0U);
                        tmp_lane_100000894_1_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 0U);
                        tmp_lane_100000894_3_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 8U);
                        tmp_lane_100000894_3_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 8U);
                        tmp_lane_100000894_5_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 16U);
                        tmp_lane_100000894_5_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 16U);
                        tmp_lane_100000894_7_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 24U);
                        tmp_lane_100000894_7_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 24U);
                        tmp_lane_100000894_9_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 32U);
                        tmp_lane_100000894_9_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 32U);
                        tmp_lane_100000894_b_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 40U);
                        tmp_lane_100000894_b_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 40U);
                        tmp_lane_100000894_d_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 48U);
                        tmp_lane_100000894_d_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 48U);
                        tmp_lane_100000894_f_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 56U);
                        tmp_lane_100000894_f_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 56U);
                        tmp_lane_100000894_11_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 64U);
                        tmp_lane_100000894_11_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 64U);
                        tmp_lane_100000894_13_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 72U);
                        tmp_lane_100000894_13_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 72U);
                        tmp_lane_100000894_15_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 80U);
                        tmp_lane_100000894_15_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 80U);
                        tmp_lane_100000894_17_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 88U);
                        tmp_lane_100000894_17_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 88U);
                        tmp_lane_100000894_19_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 96U);
                        tmp_lane_100000894_19_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 96U);
                        tmp_lane_100000894_1b_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 104U);
                        tmp_lane_100000894_1b_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 104U);
                        tmp_lane_100000894_1d_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 112U);
                        tmp_lane_100000894_1d_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 112U);
                        tmp_lane_100000894_1f_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 120U);
                        tmp_lane_100000894_1f_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_3_0_1 >> 120U);
                        tmp_lane_100000898_1_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 0U);
                        tmp_lane_100000898_1_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 0U);
                        tmp_lane_100000898_3_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 8U);
                        tmp_lane_100000898_3_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 8U);
                        tmp_lane_100000898_5_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 16U);
                        tmp_lane_100000898_5_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 16U);
                        tmp_lane_100000898_7_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 24U);
                        tmp_lane_100000898_7_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 24U);
                        tmp_lane_100000898_9_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 32U);
                        tmp_lane_100000898_9_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 32U);
                        tmp_lane_100000898_b_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 40U);
                        tmp_lane_100000898_b_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 40U);
                        tmp_lane_100000898_d_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 48U);
                        tmp_lane_100000898_d_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 48U);
                        tmp_lane_100000898_f_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 56U);
                        tmp_lane_100000898_f_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 56U);
                        tmp_lane_100000898_11_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 64U);
                        tmp_lane_100000898_11_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 64U);
                        tmp_lane_100000898_13_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 72U);
                        tmp_lane_100000898_13_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 72U);
                        tmp_lane_100000898_15_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 80U);
                        tmp_lane_100000898_15_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 80U);
                        tmp_lane_100000898_17_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 88U);
                        tmp_lane_100000898_17_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 88U);
                        tmp_lane_100000898_19_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 96U);
                        tmp_lane_100000898_19_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 96U);
                        tmp_lane_100000898_1b_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 104U);
                        tmp_lane_100000898_1b_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 104U);
                        tmp_lane_100000898_1d_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 112U);
                        tmp_lane_100000898_1d_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 112U);
                        tmp_lane_100000898_1f_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_1_0_1 >> 120U);
                        tmp_lane_100000898_1f_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 120U);
                        tmp_lane_10000089c_1_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 0U);
                        tmp_lane_10000089c_1_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 0U);
                        tmp_lane_10000089c_3_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 8U);
                        tmp_lane_10000089c_3_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 8U);
                        tmp_lane_10000089c_5_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 16U);
                        tmp_lane_10000089c_5_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 16U);
                        tmp_lane_10000089c_7_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 24U);
                        tmp_lane_10000089c_7_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 24U);
                        tmp_lane_10000089c_9_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 32U);
                        tmp_lane_10000089c_9_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 32U);
                        tmp_lane_10000089c_b_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 40U);
                        tmp_lane_10000089c_b_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 40U);
                        tmp_lane_10000089c_d_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 48U);
                        tmp_lane_10000089c_d_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 48U);
                        tmp_lane_10000089c_f_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 56U);
                        tmp_lane_10000089c_f_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 56U);
                        tmp_lane_10000089c_11_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 64U);
                        tmp_lane_10000089c_11_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 64U);
                        tmp_lane_10000089c_13_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 72U);
                        tmp_lane_10000089c_13_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 72U);
                        tmp_lane_10000089c_15_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 80U);
                        tmp_lane_10000089c_15_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 80U);
                        tmp_lane_10000089c_17_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 88U);
                        tmp_lane_10000089c_17_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 88U);
                        tmp_lane_10000089c_19_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 96U);
                        tmp_lane_10000089c_19_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 96U);
                        tmp_lane_10000089c_1b_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 104U);
                        tmp_lane_10000089c_1b_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 104U);
                        tmp_lane_10000089c_1d_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 112U);
                        tmp_lane_10000089c_1d_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 112U);
                        tmp_lane_10000089c_1f_0_1 = (uint8_t)((__uint128_t)tmp_lane_100000888_5_0_1 >> 120U);
                        tmp_lane_10000089c_1f_1_1 = (uint8_t)((__uint128_t)tmp_lane_10000082c_1_0_1 >> 120U);
                        tmp_lane_1000008a0_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_1_0_1 == (uint8_t)tmp_lane_100000890_1_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_1_0_1 == (uint8_t)tmp_lane_100000898_1_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_1_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_3_0_1 == (uint8_t)tmp_lane_100000890_3_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_3_0_1 == (uint8_t)tmp_lane_100000898_3_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_2_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_5_0_1 == (uint8_t)tmp_lane_100000890_5_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_5_0_1 == (uint8_t)tmp_lane_100000898_5_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_3_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_7_0_1 == (uint8_t)tmp_lane_100000890_7_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_7_0_1 == (uint8_t)tmp_lane_100000898_7_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_4_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_9_0_1 == (uint8_t)tmp_lane_100000890_9_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_9_0_1 == (uint8_t)tmp_lane_100000898_9_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_5_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_b_0_1 == (uint8_t)tmp_lane_100000890_b_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_b_0_1 == (uint8_t)tmp_lane_100000898_b_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_6_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_d_0_1 == (uint8_t)tmp_lane_100000890_d_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_d_0_1 == (uint8_t)tmp_lane_100000898_d_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_7_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_f_0_1 == (uint8_t)tmp_lane_100000890_f_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_f_0_1 == (uint8_t)tmp_lane_100000898_f_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_11_0_1 == (uint8_t)tmp_lane_100000890_11_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_11_0_1 == (uint8_t)tmp_lane_100000898_11_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_9_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_13_0_1 == (uint8_t)tmp_lane_100000890_13_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_13_0_1 == (uint8_t)tmp_lane_100000898_13_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_a_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_15_0_1 == (uint8_t)tmp_lane_100000890_15_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_15_0_1 == (uint8_t)tmp_lane_100000898_15_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_b_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_17_0_1 == (uint8_t)tmp_lane_100000890_17_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_17_0_1 == (uint8_t)tmp_lane_100000898_17_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_c_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_19_0_1 == (uint8_t)tmp_lane_100000890_19_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_19_0_1 == (uint8_t)tmp_lane_100000898_19_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_d_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_1b_0_1 == (uint8_t)tmp_lane_100000890_1b_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_1b_0_1 == (uint8_t)tmp_lane_100000898_1b_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_e_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_1d_0_1 == (uint8_t)tmp_lane_100000890_1d_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_1d_0_1 == (uint8_t)tmp_lane_100000898_1d_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a0_f_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000890_1f_0_1 == (uint8_t)tmp_lane_100000890_1f_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000898_1f_0_1 == (uint8_t)tmp_lane_100000898_1f_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_1_0_1 == (uint8_t)tmp_lane_100000894_1_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_1_0_1 == (uint8_t)tmp_lane_10000089c_1_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_1_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_3_0_1 == (uint8_t)tmp_lane_100000894_3_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_3_0_1 == (uint8_t)tmp_lane_10000089c_3_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_2_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_5_0_1 == (uint8_t)tmp_lane_100000894_5_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_5_0_1 == (uint8_t)tmp_lane_10000089c_5_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_3_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_7_0_1 == (uint8_t)tmp_lane_100000894_7_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_7_0_1 == (uint8_t)tmp_lane_10000089c_7_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_4_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_9_0_1 == (uint8_t)tmp_lane_100000894_9_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_9_0_1 == (uint8_t)tmp_lane_10000089c_9_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_5_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_b_0_1 == (uint8_t)tmp_lane_100000894_b_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_b_0_1 == (uint8_t)tmp_lane_10000089c_b_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_6_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_d_0_1 == (uint8_t)tmp_lane_100000894_d_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_d_0_1 == (uint8_t)tmp_lane_10000089c_d_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_7_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_f_0_1 == (uint8_t)tmp_lane_100000894_f_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_f_0_1 == (uint8_t)tmp_lane_10000089c_f_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_11_0_1 == (uint8_t)tmp_lane_100000894_11_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_11_0_1 == (uint8_t)tmp_lane_10000089c_11_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_9_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_13_0_1 == (uint8_t)tmp_lane_100000894_13_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_13_0_1 == (uint8_t)tmp_lane_10000089c_13_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_a_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_15_0_1 == (uint8_t)tmp_lane_100000894_15_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_15_0_1 == (uint8_t)tmp_lane_10000089c_15_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_b_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_17_0_1 == (uint8_t)tmp_lane_100000894_17_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_17_0_1 == (uint8_t)tmp_lane_10000089c_17_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_c_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_19_0_1 == (uint8_t)tmp_lane_100000894_19_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_19_0_1 == (uint8_t)tmp_lane_10000089c_19_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_d_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_1b_0_1 == (uint8_t)tmp_lane_100000894_1b_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_1b_0_1 == (uint8_t)tmp_lane_10000089c_1b_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_e_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_1d_0_1 == (uint8_t)tmp_lane_100000894_1d_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_1d_0_1 == (uint8_t)tmp_lane_10000089c_1d_1_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_1000008a4_f_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_100000894_1f_0_1 == (uint8_t)tmp_lane_100000894_1f_1_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)tmp_lane_10000089c_1f_0_1 == (uint8_t)tmp_lane_10000089c_1f_1_1) * (uint32_t)(uint8_t)255U));
                        z27_27 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a0_0_2_1, 0U);
                        z27_28 = r2sleigh_bits_insert_256_8(z27_27, (uint8_t)0U, 8U);
                        z27_29 = r2sleigh_bits_insert_256_16(z27_28, (uint16_t)0U, 16U);
                        z27_30 = r2sleigh_bits_insert_256_32(z27_29, (uint32_t)0U, 32U);
                        z27_31 = r2sleigh_bits_insert_256_64(z27_30, (uint64_t)0U, 64U);
                        z27_32 = r2sleigh_bits_insert_256_64(z27_31, (uint64_t)0U, 128U);
                        z27_33 = r2sleigh_bits_insert_256_64(z27_32, (uint64_t)0U, 192U);
                        z27_34 = r2sleigh_bits_insert_256_8(z27_33, (uint8_t)tmp_lane_1000008a0_1_2_1, 32U);
                        z28_19 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a0_2_2_1, 0U);
                        z28_20 = r2sleigh_bits_insert_256_8(z28_19, (uint8_t)0U, 8U);
                        z28_21 = r2sleigh_bits_insert_256_16(z28_20, (uint16_t)0U, 16U);
                        z28_22 = r2sleigh_bits_insert_256_32(z28_21, (uint32_t)0U, 32U);
                        z28_23 = r2sleigh_bits_insert_256_64(z28_22, (uint64_t)0U, 64U);
                        z28_24 = r2sleigh_bits_insert_256_64(z28_23, (uint64_t)0U, 128U);
                        z28_25 = r2sleigh_bits_insert_256_64(z28_24, (uint64_t)0U, 192U);
                        z28_26 = r2sleigh_bits_insert_256_8(z28_25, (uint8_t)tmp_lane_1000008a0_3_2_1, 32U);
                        z30_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a0_4_2_1, 0U);
                        z30_2 = r2sleigh_bits_insert_256_8(z30_1, (uint8_t)0U, 8U);
                        z30_3 = r2sleigh_bits_insert_256_16(z30_2, (uint16_t)0U, 16U);
                        z30_4 = r2sleigh_bits_insert_256_32(z30_3, (uint32_t)0U, 32U);
                        z30_5 = r2sleigh_bits_insert_256_64(z30_4, (uint64_t)0U, 64U);
                        z30_6 = r2sleigh_bits_insert_256_64(z30_5, (uint64_t)0U, 128U);
                        z30_7 = r2sleigh_bits_insert_256_64(z30_6, (uint64_t)0U, 192U);
                        z30_8 = r2sleigh_bits_insert_256_8(z30_7, (uint8_t)tmp_lane_1000008a0_5_2_1, 32U);
                        z31_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a0_6_2_1, 0U);
                        z31_2 = r2sleigh_bits_insert_256_8(z31_1, (uint8_t)0U, 8U);
                        z31_3 = r2sleigh_bits_insert_256_16(z31_2, (uint16_t)0U, 16U);
                        z31_4 = r2sleigh_bits_insert_256_32(z31_3, (uint32_t)0U, 32U);
                        z31_5 = r2sleigh_bits_insert_256_64(z31_4, (uint64_t)0U, 64U);
                        z31_6 = r2sleigh_bits_insert_256_64(z31_5, (uint64_t)0U, 128U);
                        z31_7 = r2sleigh_bits_insert_256_64(z31_6, (uint64_t)0U, 192U);
                        z31_8 = r2sleigh_bits_insert_256_8(z31_7, (uint8_t)tmp_lane_1000008a0_7_2_1, 32U);
                        z8_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a0_8_2_1, 0U);
                        z8_2 = r2sleigh_bits_insert_256_8(z8_1, (uint8_t)0U, 8U);
                        z8_3 = r2sleigh_bits_insert_256_16(z8_2, (uint16_t)0U, 16U);
                        z8_4 = r2sleigh_bits_insert_256_32(z8_3, (uint32_t)0U, 32U);
                        z8_5 = r2sleigh_bits_insert_256_64(z8_4, (uint64_t)0U, 64U);
                        z8_6 = r2sleigh_bits_insert_256_64(z8_5, (uint64_t)0U, 128U);
                        z8_7 = r2sleigh_bits_insert_256_64(z8_6, (uint64_t)0U, 192U);
                        z8_8 = r2sleigh_bits_insert_256_8(z8_7, (uint8_t)tmp_lane_1000008a0_9_2_1, 32U);
                        z10_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a0_a_2_1, 0U);
                        z10_2 = r2sleigh_bits_insert_256_8(z10_1, (uint8_t)0U, 8U);
                        z10_3 = r2sleigh_bits_insert_256_16(z10_2, (uint16_t)0U, 16U);
                        z10_4 = r2sleigh_bits_insert_256_32(z10_3, (uint32_t)0U, 32U);
                        z10_5 = r2sleigh_bits_insert_256_64(z10_4, (uint64_t)0U, 64U);
                        z10_6 = r2sleigh_bits_insert_256_64(z10_5, (uint64_t)0U, 128U);
                        z10_7 = r2sleigh_bits_insert_256_64(z10_6, (uint64_t)0U, 192U);
                        z10_8 = r2sleigh_bits_insert_256_8(z10_7, (uint8_t)tmp_lane_1000008a0_b_2_1, 32U);
                        z12_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a0_c_2_1, 0U);
                        z12_2 = r2sleigh_bits_insert_256_8(z12_1, (uint8_t)0U, 8U);
                        z12_3 = r2sleigh_bits_insert_256_16(z12_2, (uint16_t)0U, 16U);
                        z12_4 = r2sleigh_bits_insert_256_32(z12_3, (uint32_t)0U, 32U);
                        z12_5 = r2sleigh_bits_insert_256_64(z12_4, (uint64_t)0U, 64U);
                        z12_6 = r2sleigh_bits_insert_256_64(z12_5, (uint64_t)0U, 128U);
                        z12_7 = r2sleigh_bits_insert_256_64(z12_6, (uint64_t)0U, 192U);
                        z12_8 = r2sleigh_bits_insert_256_8(z12_7, (uint8_t)tmp_lane_1000008a0_d_2_1, 32U);
                        z15_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a0_e_2_1, 0U);
                        z15_2 = r2sleigh_bits_insert_256_8(z15_1, (uint8_t)0U, 8U);
                        z15_3 = r2sleigh_bits_insert_256_16(z15_2, (uint16_t)0U, 16U);
                        z15_4 = r2sleigh_bits_insert_256_32(z15_3, (uint32_t)0U, 32U);
                        z15_5 = r2sleigh_bits_insert_256_64(z15_4, (uint64_t)0U, 64U);
                        z15_6 = r2sleigh_bits_insert_256_64(z15_5, (uint64_t)0U, 128U);
                        z15_7 = r2sleigh_bits_insert_256_64(z15_6, (uint64_t)0U, 192U);
                        z15_8 = r2sleigh_bits_insert_256_8(z15_7, (uint8_t)tmp_lane_1000008a0_f_2_1, 32U);
                        z9_19 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a4_0_2_1, 0U);
                        z9_20 = r2sleigh_bits_insert_256_8(z9_19, (uint8_t)0U, 8U);
                        z9_21 = r2sleigh_bits_insert_256_16(z9_20, (uint16_t)0U, 16U);
                        z9_22 = r2sleigh_bits_insert_256_32(z9_21, (uint32_t)0U, 32U);
                        z9_23 = r2sleigh_bits_insert_256_64(z9_22, (uint64_t)0U, 64U);
                        z9_24 = r2sleigh_bits_insert_256_64(z9_23, (uint64_t)0U, 128U);
                        z9_25 = r2sleigh_bits_insert_256_64(z9_24, (uint64_t)0U, 192U);
                        z9_26 = r2sleigh_bits_insert_256_8(z9_25, (uint8_t)tmp_lane_1000008a4_1_2_1, 32U);
                        z11_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a4_2_2_1, 0U);
                        z11_2 = r2sleigh_bits_insert_256_8(z11_1, (uint8_t)0U, 8U);
                        z11_3 = r2sleigh_bits_insert_256_16(z11_2, (uint16_t)0U, 16U);
                        z11_4 = r2sleigh_bits_insert_256_32(z11_3, (uint32_t)0U, 32U);
                        z11_5 = r2sleigh_bits_insert_256_64(z11_4, (uint64_t)0U, 64U);
                        z11_6 = r2sleigh_bits_insert_256_64(z11_5, (uint64_t)0U, 128U);
                        z11_7 = r2sleigh_bits_insert_256_64(z11_6, (uint64_t)0U, 192U);
                        z11_8 = r2sleigh_bits_insert_256_8(z11_7, (uint8_t)tmp_lane_1000008a4_3_2_1, 32U);
                        z13_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a4_4_2_1, 0U);
                        z13_2 = r2sleigh_bits_insert_256_8(z13_1, (uint8_t)0U, 8U);
                        z13_3 = r2sleigh_bits_insert_256_16(z13_2, (uint16_t)0U, 16U);
                        z13_4 = r2sleigh_bits_insert_256_32(z13_3, (uint32_t)0U, 32U);
                        z13_5 = r2sleigh_bits_insert_256_64(z13_4, (uint64_t)0U, 64U);
                        z13_6 = r2sleigh_bits_insert_256_64(z13_5, (uint64_t)0U, 128U);
                        z13_7 = r2sleigh_bits_insert_256_64(z13_6, (uint64_t)0U, 192U);
                        z13_8 = r2sleigh_bits_insert_256_8(z13_7, (uint8_t)tmp_lane_1000008a4_5_2_1, 32U);
                        z14_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a4_6_2_1, 0U);
                        z14_2 = r2sleigh_bits_insert_256_8(z14_1, (uint8_t)0U, 8U);
                        z14_3 = r2sleigh_bits_insert_256_16(z14_2, (uint16_t)0U, 16U);
                        z14_4 = r2sleigh_bits_insert_256_32(z14_3, (uint32_t)0U, 32U);
                        z14_5 = r2sleigh_bits_insert_256_64(z14_4, (uint64_t)0U, 64U);
                        z14_6 = r2sleigh_bits_insert_256_64(z14_5, (uint64_t)0U, 128U);
                        z14_7 = r2sleigh_bits_insert_256_64(z14_6, (uint64_t)0U, 192U);
                        z14_8 = r2sleigh_bits_insert_256_8(z14_7, (uint8_t)tmp_lane_1000008a4_7_2_1, 32U);
                        z1_40 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a4_8_2_1, 0U);
                        z1_41 = r2sleigh_bits_insert_256_8(z1_40, (uint8_t)0U, 8U);
                        z1_42 = r2sleigh_bits_insert_256_16(z1_41, (uint16_t)0U, 16U);
                        z1_43 = r2sleigh_bits_insert_256_32(z1_42, (uint32_t)0U, 32U);
                        z1_44 = r2sleigh_bits_insert_256_64(z1_43, (uint64_t)0U, 64U);
                        z1_45 = r2sleigh_bits_insert_256_64(z1_44, (uint64_t)0U, 128U);
                        z1_46 = r2sleigh_bits_insert_256_64(z1_45, (uint64_t)0U, 192U);
                        z1_47 = r2sleigh_bits_insert_256_8(z1_46, (uint8_t)tmp_lane_1000008a4_9_2_1, 32U);
                        z2_4 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a4_a_2_1, 0U);
                        z2_5 = r2sleigh_bits_insert_256_8(z2_4, (uint8_t)0U, 8U);
                        z2_6 = r2sleigh_bits_insert_256_16(z2_5, (uint16_t)0U, 16U);
                        z2_7 = r2sleigh_bits_insert_256_32(z2_6, (uint32_t)0U, 32U);
                        z2_8 = r2sleigh_bits_insert_256_64(z2_7, (uint64_t)0U, 64U);
                        z2_9 = r2sleigh_bits_insert_256_64(z2_8, (uint64_t)0U, 128U);
                        z2_10 = r2sleigh_bits_insert_256_64(z2_9, (uint64_t)0U, 192U);
                        z2_11 = r2sleigh_bits_insert_256_8(z2_10, (uint8_t)tmp_lane_1000008a4_b_2_1, 32U);
                        z0_22 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a4_c_2_1, 0U);
                        z0_23 = r2sleigh_bits_insert_256_8(z0_22, (uint8_t)0U, 8U);
                        z0_24 = r2sleigh_bits_insert_256_16(z0_23, (uint16_t)0U, 16U);
                        z0_25 = r2sleigh_bits_insert_256_32(z0_24, (uint32_t)0U, 32U);
                        z0_26 = r2sleigh_bits_insert_256_64(z0_25, (uint64_t)0U, 64U);
                        z0_27 = r2sleigh_bits_insert_256_64(z0_26, (uint64_t)0U, 128U);
                        z0_28 = r2sleigh_bits_insert_256_64(z0_27, (uint64_t)0U, 192U);
                        z0_29 = r2sleigh_bits_insert_256_8(z0_28, (uint8_t)tmp_lane_1000008a4_d_2_1, 32U);
                        z4_1 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000008a4_e_2_1, 0U);
                        z4_2 = r2sleigh_bits_insert_256_8(z4_1, (uint8_t)0U, 8U);
                        z4_3 = r2sleigh_bits_insert_256_16(z4_2, (uint16_t)0U, 16U);
                        z4_4 = r2sleigh_bits_insert_256_32(z4_3, (uint32_t)0U, 32U);
                        z4_5 = r2sleigh_bits_insert_256_64(z4_4, (uint64_t)0U, 64U);
                        z4_6 = r2sleigh_bits_insert_256_64(z4_5, (uint64_t)0U, 128U);
                        z4_7 = r2sleigh_bits_insert_256_64(z4_6, (uint64_t)0U, 192U);
                        z4_8 = r2sleigh_bits_insert_256_8(z4_7, (uint8_t)tmp_lane_1000008a4_f_2_1, 32U);
                        tmp_lane_100000928_0_0_1 = r2sleigh_bits_extract_256_64(z15_8, 0U);
                        tmp_lane_10000092c_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000928_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z29_46 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_10000092c_0_2_1, 0U);
                        z29_47 = r2sleigh_bits_insert_256_8(z29_46, (uint8_t)0U, 8U);
                        z29_48 = r2sleigh_bits_insert_256_8(z29_47, (uint8_t)0U, 16U);
                        z29_49 = r2sleigh_bits_insert_256_8(z29_48, (uint8_t)0U, 24U);
                        z29_50 = r2sleigh_bits_insert_256_8(z29_49, (uint8_t)0U, 32U);
                        z29_51 = r2sleigh_bits_insert_256_8(z29_50, (uint8_t)0U, 40U);
                        z29_52 = r2sleigh_bits_insert_256_8(z29_51, (uint8_t)0U, 48U);
                        z29_53 = r2sleigh_bits_insert_256_8(z29_52, (uint8_t)0U, 56U);
                        tmp_lane_10000092c_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000928_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z29_54 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_10000092c_8_2_1, 64U);
                        z29_55 = r2sleigh_bits_insert_256_8(z29_54, (uint8_t)0U, 72U);
                        z29_56 = r2sleigh_bits_insert_256_8(z29_55, (uint8_t)0U, 80U);
                        z29_57 = r2sleigh_bits_insert_256_8(z29_56, (uint8_t)0U, 88U);
                        z29_58 = r2sleigh_bits_insert_256_8(z29_57, (uint8_t)0U, 96U);
                        z29_59 = r2sleigh_bits_insert_256_8(z29_58, (uint8_t)0U, 104U);
                        z29_60 = r2sleigh_bits_insert_256_8(z29_59, (uint8_t)0U, 112U);
                        z29_61 = r2sleigh_bits_insert_256_8(z29_60, (uint8_t)0U, 120U);
                        tmp_lane_100000930_0_0_1 = r2sleigh_bits_extract_256_64(z20_5, 0U);
                        tmp_lane_100000930_0_1_1 = r2sleigh_bits_extract_256_64(z29_53, 0U);
                        tmp_lane_100000930_0_2_1 = (uint64_t)((uint64_t)tmp_lane_100000930_0_0_1 + (uint64_t)tmp_lane_100000930_0_1_1);
                        z20_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_100000930_0_2_1, 0U);
                        tmp_lane_100000930_1_0_1 = r2sleigh_bits_extract_256_64(z20_5, 64U);
                        tmp_lane_100000930_1_1_1 = r2sleigh_bits_extract_256_64(z29_61, 64U);
                        tmp_lane_100000930_1_2_1 = (uint64_t)((uint64_t)tmp_lane_100000930_1_0_1 + (uint64_t)tmp_lane_100000930_1_1_1);
                        z20_7 = r2sleigh_bits_insert_256_64(z20_6, (uint64_t)tmp_lane_100000930_1_2_1, 64U);
                        z20_8 = r2sleigh_bits_insert_256_64(z20_7, (uint64_t)0U, 128U);
                        tmp_lane_100000934_0_0_1 = r2sleigh_bits_extract_256_64(z12_8, 0U);
                        tmp_lane_100000938_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000934_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z29_68 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000938_0_2_1, 0U);
                        z29_69 = r2sleigh_bits_insert_256_8(z29_68, (uint8_t)0U, 8U);
                        z29_70 = r2sleigh_bits_insert_256_8(z29_69, (uint8_t)0U, 16U);
                        z29_71 = r2sleigh_bits_insert_256_8(z29_70, (uint8_t)0U, 24U);
                        z29_72 = r2sleigh_bits_insert_256_8(z29_71, (uint8_t)0U, 32U);
                        z29_73 = r2sleigh_bits_insert_256_8(z29_72, (uint8_t)0U, 40U);
                        z29_74 = r2sleigh_bits_insert_256_8(z29_73, (uint8_t)0U, 48U);
                        z29_75 = r2sleigh_bits_insert_256_8(z29_74, (uint8_t)0U, 56U);
                        tmp_lane_100000938_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000934_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z29_76 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000938_8_2_1, 64U);
                        z29_77 = r2sleigh_bits_insert_256_8(z29_76, (uint8_t)0U, 72U);
                        z29_78 = r2sleigh_bits_insert_256_8(z29_77, (uint8_t)0U, 80U);
                        z29_79 = r2sleigh_bits_insert_256_8(z29_78, (uint8_t)0U, 88U);
                        z29_80 = r2sleigh_bits_insert_256_8(z29_79, (uint8_t)0U, 96U);
                        z29_81 = r2sleigh_bits_insert_256_8(z29_80, (uint8_t)0U, 104U);
                        z29_82 = r2sleigh_bits_insert_256_8(z29_81, (uint8_t)0U, 112U);
                        z29_83 = r2sleigh_bits_insert_256_8(z29_82, (uint8_t)0U, 120U);
                        tmp_lane_10000093c_0_0_1 = r2sleigh_bits_extract_256_64(z7_5, 0U);
                        tmp_lane_10000093c_0_1_1 = r2sleigh_bits_extract_256_64(z29_75, 0U);
                        tmp_lane_10000093c_0_2_1 = (uint64_t)((uint64_t)tmp_lane_10000093c_0_0_1 + (uint64_t)tmp_lane_10000093c_0_1_1);
                        z7_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_10000093c_0_2_1, 0U);
                        tmp_lane_10000093c_1_0_1 = r2sleigh_bits_extract_256_64(z7_5, 64U);
                        tmp_lane_10000093c_1_1_1 = r2sleigh_bits_extract_256_64(z29_83, 64U);
                        tmp_lane_10000093c_1_2_1 = (uint64_t)((uint64_t)tmp_lane_10000093c_1_0_1 + (uint64_t)tmp_lane_10000093c_1_1_1);
                        z7_7 = r2sleigh_bits_insert_256_64(z7_6, (uint64_t)tmp_lane_10000093c_1_2_1, 64U);
                        z7_8 = r2sleigh_bits_insert_256_64(z7_7, (uint64_t)0U, 128U);
                        tmp_lane_100000940_0_0_1 = r2sleigh_bits_extract_256_64(z10_8, 0U);
                        tmp_lane_100000944_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000940_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z29_90 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000944_0_2_1, 0U);
                        z29_91 = r2sleigh_bits_insert_256_8(z29_90, (uint8_t)0U, 8U);
                        z29_92 = r2sleigh_bits_insert_256_8(z29_91, (uint8_t)0U, 16U);
                        z29_93 = r2sleigh_bits_insert_256_8(z29_92, (uint8_t)0U, 24U);
                        z29_94 = r2sleigh_bits_insert_256_8(z29_93, (uint8_t)0U, 32U);
                        z29_95 = r2sleigh_bits_insert_256_8(z29_94, (uint8_t)0U, 40U);
                        z29_96 = r2sleigh_bits_insert_256_8(z29_95, (uint8_t)0U, 48U);
                        z29_97 = r2sleigh_bits_insert_256_8(z29_96, (uint8_t)0U, 56U);
                        tmp_lane_100000944_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000940_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z29_98 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000944_8_2_1, 64U);
                        z29_99 = r2sleigh_bits_insert_256_8(z29_98, (uint8_t)0U, 72U);
                        z29_100 = r2sleigh_bits_insert_256_8(z29_99, (uint8_t)0U, 80U);
                        z29_101 = r2sleigh_bits_insert_256_8(z29_100, (uint8_t)0U, 88U);
                        z29_102 = r2sleigh_bits_insert_256_8(z29_101, (uint8_t)0U, 96U);
                        z29_103 = r2sleigh_bits_insert_256_8(z29_102, (uint8_t)0U, 104U);
                        z29_104 = r2sleigh_bits_insert_256_8(z29_103, (uint8_t)0U, 112U);
                        z29_105 = r2sleigh_bits_insert_256_8(z29_104, (uint8_t)0U, 120U);
                        tmp_lane_100000948_0_0_1 = r2sleigh_bits_extract_256_64(z17_5, 0U);
                        tmp_lane_100000948_0_1_1 = r2sleigh_bits_extract_256_64(z29_97, 0U);
                        tmp_lane_100000948_0_2_1 = (uint64_t)((uint64_t)tmp_lane_100000948_0_0_1 + (uint64_t)tmp_lane_100000948_0_1_1);
                        z17_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_100000948_0_2_1, 0U);
                        tmp_lane_100000948_1_0_1 = r2sleigh_bits_extract_256_64(z17_5, 64U);
                        tmp_lane_100000948_1_1_1 = r2sleigh_bits_extract_256_64(z29_105, 64U);
                        tmp_lane_100000948_1_2_1 = (uint64_t)((uint64_t)tmp_lane_100000948_1_0_1 + (uint64_t)tmp_lane_100000948_1_1_1);
                        z17_7 = r2sleigh_bits_insert_256_64(z17_6, (uint64_t)tmp_lane_100000948_1_2_1, 64U);
                        z17_8 = r2sleigh_bits_insert_256_64(z17_7, (uint64_t)0U, 128U);
                        tmp_lane_10000094c_0_0_1 = r2sleigh_bits_extract_256_64(z8_8, 0U);
                        tmp_lane_100000950_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_10000094c_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z29_112 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000950_0_2_1, 0U);
                        z29_113 = r2sleigh_bits_insert_256_8(z29_112, (uint8_t)0U, 8U);
                        z29_114 = r2sleigh_bits_insert_256_8(z29_113, (uint8_t)0U, 16U);
                        z29_115 = r2sleigh_bits_insert_256_8(z29_114, (uint8_t)0U, 24U);
                        z29_116 = r2sleigh_bits_insert_256_8(z29_115, (uint8_t)0U, 32U);
                        z29_117 = r2sleigh_bits_insert_256_8(z29_116, (uint8_t)0U, 40U);
                        z29_118 = r2sleigh_bits_insert_256_8(z29_117, (uint8_t)0U, 48U);
                        z29_119 = r2sleigh_bits_insert_256_8(z29_118, (uint8_t)0U, 56U);
                        tmp_lane_100000950_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_10000094c_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z29_120 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000950_8_2_1, 64U);
                        z29_121 = r2sleigh_bits_insert_256_8(z29_120, (uint8_t)0U, 72U);
                        z29_122 = r2sleigh_bits_insert_256_8(z29_121, (uint8_t)0U, 80U);
                        z29_123 = r2sleigh_bits_insert_256_8(z29_122, (uint8_t)0U, 88U);
                        z29_124 = r2sleigh_bits_insert_256_8(z29_123, (uint8_t)0U, 96U);
                        z29_125 = r2sleigh_bits_insert_256_8(z29_124, (uint8_t)0U, 104U);
                        z29_126 = r2sleigh_bits_insert_256_8(z29_125, (uint8_t)0U, 112U);
                        z29_127 = r2sleigh_bits_insert_256_8(z29_126, (uint8_t)0U, 120U);
                        tmp_lane_100000954_0_0_1 = r2sleigh_bits_extract_256_64(z6_5, 0U);
                        tmp_lane_100000954_0_1_1 = r2sleigh_bits_extract_256_64(z29_119, 0U);
                        tmp_lane_100000954_0_2_1 = (uint64_t)((uint64_t)tmp_lane_100000954_0_0_1 + (uint64_t)tmp_lane_100000954_0_1_1);
                        z6_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_100000954_0_2_1, 0U);
                        tmp_lane_100000954_1_0_1 = r2sleigh_bits_extract_256_64(z6_5, 64U);
                        tmp_lane_100000954_1_1_1 = r2sleigh_bits_extract_256_64(z29_127, 64U);
                        tmp_lane_100000954_1_2_1 = (uint64_t)((uint64_t)tmp_lane_100000954_1_0_1 + (uint64_t)tmp_lane_100000954_1_1_1);
                        z6_7 = r2sleigh_bits_insert_256_64(z6_6, (uint64_t)tmp_lane_100000954_1_2_1, 64U);
                        z6_8 = r2sleigh_bits_insert_256_64(z6_7, (uint64_t)0U, 128U);
                        tmp_lane_100000958_0_0_1 = r2sleigh_bits_extract_256_64(z31_8, 0U);
                        tmp_lane_10000095c_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000958_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z29_134 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_10000095c_0_2_1, 0U);
                        z29_135 = r2sleigh_bits_insert_256_8(z29_134, (uint8_t)0U, 8U);
                        z29_136 = r2sleigh_bits_insert_256_8(z29_135, (uint8_t)0U, 16U);
                        z29_137 = r2sleigh_bits_insert_256_8(z29_136, (uint8_t)0U, 24U);
                        z29_138 = r2sleigh_bits_insert_256_8(z29_137, (uint8_t)0U, 32U);
                        z29_139 = r2sleigh_bits_insert_256_8(z29_138, (uint8_t)0U, 40U);
                        z29_140 = r2sleigh_bits_insert_256_8(z29_139, (uint8_t)0U, 48U);
                        z29_141 = r2sleigh_bits_insert_256_8(z29_140, (uint8_t)0U, 56U);
                        tmp_lane_10000095c_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000958_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z29_142 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_10000095c_8_2_1, 64U);
                        z29_143 = r2sleigh_bits_insert_256_8(z29_142, (uint8_t)0U, 72U);
                        z29_144 = r2sleigh_bits_insert_256_8(z29_143, (uint8_t)0U, 80U);
                        z29_145 = r2sleigh_bits_insert_256_8(z29_144, (uint8_t)0U, 88U);
                        z29_146 = r2sleigh_bits_insert_256_8(z29_145, (uint8_t)0U, 96U);
                        z29_147 = r2sleigh_bits_insert_256_8(z29_146, (uint8_t)0U, 104U);
                        z29_148 = r2sleigh_bits_insert_256_8(z29_147, (uint8_t)0U, 112U);
                        z29_149 = r2sleigh_bits_insert_256_8(z29_148, (uint8_t)0U, 120U);
                        tmp_lane_100000960_0_0_1 = r2sleigh_bits_extract_256_64(z16_5, 0U);
                        tmp_lane_100000960_0_1_1 = r2sleigh_bits_extract_256_64(z29_141, 0U);
                        tmp_lane_100000960_0_2_1 = (uint64_t)((uint64_t)tmp_lane_100000960_0_0_1 + (uint64_t)tmp_lane_100000960_0_1_1);
                        z16_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_100000960_0_2_1, 0U);
                        tmp_lane_100000960_1_0_1 = r2sleigh_bits_extract_256_64(z16_5, 64U);
                        tmp_lane_100000960_1_1_1 = r2sleigh_bits_extract_256_64(z29_149, 64U);
                        tmp_lane_100000960_1_2_1 = (uint64_t)((uint64_t)tmp_lane_100000960_1_0_1 + (uint64_t)tmp_lane_100000960_1_1_1);
                        z16_7 = r2sleigh_bits_insert_256_64(z16_6, (uint64_t)tmp_lane_100000960_1_2_1, 64U);
                        z16_8 = r2sleigh_bits_insert_256_64(z16_7, (uint64_t)0U, 128U);
                        tmp_lane_100000964_0_0_1 = r2sleigh_bits_extract_256_64(z30_8, 0U);
                        tmp_lane_100000968_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000964_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z29_156 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000968_0_2_1, 0U);
                        z29_157 = r2sleigh_bits_insert_256_8(z29_156, (uint8_t)0U, 8U);
                        z29_158 = r2sleigh_bits_insert_256_8(z29_157, (uint8_t)0U, 16U);
                        z29_159 = r2sleigh_bits_insert_256_8(z29_158, (uint8_t)0U, 24U);
                        z29_160 = r2sleigh_bits_insert_256_8(z29_159, (uint8_t)0U, 32U);
                        z29_161 = r2sleigh_bits_insert_256_8(z29_160, (uint8_t)0U, 40U);
                        z29_162 = r2sleigh_bits_insert_256_8(z29_161, (uint8_t)0U, 48U);
                        z29_163 = r2sleigh_bits_insert_256_8(z29_162, (uint8_t)0U, 56U);
                        tmp_lane_100000968_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000964_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z29_164 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000968_8_2_1, 64U);
                        z29_165 = r2sleigh_bits_insert_256_8(z29_164, (uint8_t)0U, 72U);
                        z29_166 = r2sleigh_bits_insert_256_8(z29_165, (uint8_t)0U, 80U);
                        z29_167 = r2sleigh_bits_insert_256_8(z29_166, (uint8_t)0U, 88U);
                        z29_168 = r2sleigh_bits_insert_256_8(z29_167, (uint8_t)0U, 96U);
                        z29_169 = r2sleigh_bits_insert_256_8(z29_168, (uint8_t)0U, 104U);
                        z29_170 = r2sleigh_bits_insert_256_8(z29_169, (uint8_t)0U, 112U);
                        z29_171 = r2sleigh_bits_insert_256_8(z29_170, (uint8_t)0U, 120U);
                        tmp_lane_10000096c_0_0_1 = r2sleigh_bits_extract_256_64(z5_5, 0U);
                        tmp_lane_10000096c_0_1_1 = r2sleigh_bits_extract_256_64(z29_163, 0U);
                        tmp_lane_10000096c_0_2_1 = (uint64_t)((uint64_t)tmp_lane_10000096c_0_0_1 + (uint64_t)tmp_lane_10000096c_0_1_1);
                        z5_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_10000096c_0_2_1, 0U);
                        tmp_lane_10000096c_1_0_1 = r2sleigh_bits_extract_256_64(z5_5, 64U);
                        tmp_lane_10000096c_1_1_1 = r2sleigh_bits_extract_256_64(z29_171, 64U);
                        tmp_lane_10000096c_1_2_1 = (uint64_t)((uint64_t)tmp_lane_10000096c_1_0_1 + (uint64_t)tmp_lane_10000096c_1_1_1);
                        z5_7 = r2sleigh_bits_insert_256_64(z5_6, (uint64_t)tmp_lane_10000096c_1_2_1, 64U);
                        z5_8 = r2sleigh_bits_insert_256_64(z5_7, (uint64_t)0U, 128U);
                        tmp_lane_100000974_0_0_1 = r2sleigh_bits_extract_256_64(z28_26, 0U);
                        tmp_lane_100000978_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000974_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z28_33 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000978_0_2_1, 0U);
                        z28_34 = r2sleigh_bits_insert_256_8(z28_33, (uint8_t)0U, 8U);
                        z28_35 = r2sleigh_bits_insert_256_8(z28_34, (uint8_t)0U, 16U);
                        z28_36 = r2sleigh_bits_insert_256_8(z28_35, (uint8_t)0U, 24U);
                        z28_37 = r2sleigh_bits_insert_256_8(z28_36, (uint8_t)0U, 32U);
                        z28_38 = r2sleigh_bits_insert_256_8(z28_37, (uint8_t)0U, 40U);
                        z28_39 = r2sleigh_bits_insert_256_8(z28_38, (uint8_t)0U, 48U);
                        z28_40 = r2sleigh_bits_insert_256_8(z28_39, (uint8_t)0U, 56U);
                        tmp_lane_100000978_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000974_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z28_41 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000978_8_2_1, 64U);
                        z28_42 = r2sleigh_bits_insert_256_8(z28_41, (uint8_t)0U, 72U);
                        z28_43 = r2sleigh_bits_insert_256_8(z28_42, (uint8_t)0U, 80U);
                        z28_44 = r2sleigh_bits_insert_256_8(z28_43, (uint8_t)0U, 88U);
                        z28_45 = r2sleigh_bits_insert_256_8(z28_44, (uint8_t)0U, 96U);
                        z28_46 = r2sleigh_bits_insert_256_8(z28_45, (uint8_t)0U, 104U);
                        z28_47 = r2sleigh_bits_insert_256_8(z28_46, (uint8_t)0U, 112U);
                        z28_48 = r2sleigh_bits_insert_256_8(z28_47, (uint8_t)0U, 120U);
                        tmp_lane_10000097c_0_0_1 = (uint64_t)((__uint128_t)tmp_lane_100000884_1_0_1 >> 0U);
                        tmp_lane_10000097c_0_1_1 = r2sleigh_bits_extract_256_64(z28_40, 0U);
                        tmp_lane_10000097c_0_2_1 = (uint64_t)((uint64_t)tmp_lane_10000097c_0_0_1 + (uint64_t)tmp_lane_10000097c_0_1_1);
                        z29_177 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_10000097c_0_2_1, 0U);
                        tmp_lane_10000097c_1_0_1 = (uint64_t)((__uint128_t)tmp_lane_100000884_1_0_1 >> 64U);
                        tmp_lane_10000097c_1_1_1 = r2sleigh_bits_extract_256_64(z28_48, 64U);
                        tmp_lane_10000097c_1_2_1 = (uint64_t)((uint64_t)tmp_lane_10000097c_1_0_1 + (uint64_t)tmp_lane_10000097c_1_1_1);
                        z29_178 = r2sleigh_bits_insert_256_64(z29_177, (uint64_t)tmp_lane_10000097c_1_2_1, 64U);
                        z29_179 = r2sleigh_bits_insert_256_64(z29_178, (uint64_t)0U, 128U);
                        tmp_lane_100000980_0_0_1 = r2sleigh_bits_extract_256_64(z27_34, 0U);
                        tmp_lane_100000984_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000980_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z27_41 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000984_0_2_1, 0U);
                        z27_42 = r2sleigh_bits_insert_256_8(z27_41, (uint8_t)0U, 8U);
                        z27_43 = r2sleigh_bits_insert_256_8(z27_42, (uint8_t)0U, 16U);
                        z27_44 = r2sleigh_bits_insert_256_8(z27_43, (uint8_t)0U, 24U);
                        z27_45 = r2sleigh_bits_insert_256_8(z27_44, (uint8_t)0U, 32U);
                        z27_46 = r2sleigh_bits_insert_256_8(z27_45, (uint8_t)0U, 40U);
                        z27_47 = r2sleigh_bits_insert_256_8(z27_46, (uint8_t)0U, 48U);
                        z27_48 = r2sleigh_bits_insert_256_8(z27_47, (uint8_t)0U, 56U);
                        tmp_lane_100000984_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000980_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z27_49 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000984_8_2_1, 64U);
                        z27_50 = r2sleigh_bits_insert_256_8(z27_49, (uint8_t)0U, 72U);
                        z27_51 = r2sleigh_bits_insert_256_8(z27_50, (uint8_t)0U, 80U);
                        z27_52 = r2sleigh_bits_insert_256_8(z27_51, (uint8_t)0U, 88U);
                        z27_53 = r2sleigh_bits_insert_256_8(z27_52, (uint8_t)0U, 96U);
                        z27_54 = r2sleigh_bits_insert_256_8(z27_53, (uint8_t)0U, 104U);
                        z27_55 = r2sleigh_bits_insert_256_8(z27_54, (uint8_t)0U, 112U);
                        z27_56 = r2sleigh_bits_insert_256_8(z27_55, (uint8_t)0U, 120U);
                        tmp_lane_10000098c_0_0_1 = (uint64_t)((__uint128_t)tmp_lane_100000884_3_0_1 >> 0U);
                        tmp_lane_10000098c_0_1_1 = r2sleigh_bits_extract_256_64(z27_48, 0U);
                        tmp_lane_10000098c_0_2_1 = (uint64_t)((uint64_t)tmp_lane_10000098c_0_0_1 + (uint64_t)tmp_lane_10000098c_0_1_1);
                        z28_54 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_10000098c_0_2_1, 0U);
                        tmp_lane_10000098c_1_0_1 = (uint64_t)((__uint128_t)tmp_lane_100000884_3_0_1 >> 64U);
                        tmp_lane_10000098c_1_1_1 = r2sleigh_bits_extract_256_64(z27_56, 64U);
                        tmp_lane_10000098c_1_2_1 = (uint64_t)((uint64_t)tmp_lane_10000098c_1_0_1 + (uint64_t)tmp_lane_10000098c_1_1_1);
                        z28_55 = r2sleigh_bits_insert_256_64(z28_54, (uint64_t)tmp_lane_10000098c_1_2_1, 64U);
                        tmp_lane_100000990_1_0_1 = r2sleigh_bits_extract_256_128(z28_55, 0U);
                        z27_59 = r2sleigh_bits_insert_256_128(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (__uint128_t)tmp_lane_100000990_1_0_1, 0U);
                        z27_60 = r2sleigh_bits_insert_256_64(z27_59, (uint64_t)0U, 128U);
                        tmp_lane_100000998_0_0_1 = r2sleigh_bits_extract_256_64(z4_8, 0U);
                        tmp_lane_10000099c_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000998_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z4_15 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_10000099c_0_2_1, 0U);
                        z4_16 = r2sleigh_bits_insert_256_8(z4_15, (uint8_t)0U, 8U);
                        z4_17 = r2sleigh_bits_insert_256_8(z4_16, (uint8_t)0U, 16U);
                        z4_18 = r2sleigh_bits_insert_256_8(z4_17, (uint8_t)0U, 24U);
                        z4_19 = r2sleigh_bits_insert_256_8(z4_18, (uint8_t)0U, 32U);
                        z4_20 = r2sleigh_bits_insert_256_8(z4_19, (uint8_t)0U, 40U);
                        z4_21 = r2sleigh_bits_insert_256_8(z4_20, (uint8_t)0U, 48U);
                        z4_22 = r2sleigh_bits_insert_256_8(z4_21, (uint8_t)0U, 56U);
                        tmp_lane_10000099c_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000998_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z4_23 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_10000099c_8_2_1, 64U);
                        z4_24 = r2sleigh_bits_insert_256_8(z4_23, (uint8_t)0U, 72U);
                        z4_25 = r2sleigh_bits_insert_256_8(z4_24, (uint8_t)0U, 80U);
                        z4_26 = r2sleigh_bits_insert_256_8(z4_25, (uint8_t)0U, 88U);
                        z4_27 = r2sleigh_bits_insert_256_8(z4_26, (uint8_t)0U, 96U);
                        z4_28 = r2sleigh_bits_insert_256_8(z4_27, (uint8_t)0U, 104U);
                        z4_29 = r2sleigh_bits_insert_256_8(z4_28, (uint8_t)0U, 112U);
                        z4_30 = r2sleigh_bits_insert_256_8(z4_29, (uint8_t)0U, 120U);
                        tmp_lane_1000009a0_0_0_1 = r2sleigh_bits_extract_256_64(z26_5, 0U);
                        tmp_lane_1000009a0_0_1_1 = r2sleigh_bits_extract_256_64(z4_22, 0U);
                        tmp_lane_1000009a0_0_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009a0_0_0_1 + (uint64_t)tmp_lane_1000009a0_0_1_1);
                        z26_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_1000009a0_0_2_1, 0U);
                        tmp_lane_1000009a0_1_0_1 = r2sleigh_bits_extract_256_64(z26_5, 64U);
                        tmp_lane_1000009a0_1_1_1 = r2sleigh_bits_extract_256_64(z4_30, 64U);
                        tmp_lane_1000009a0_1_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009a0_1_0_1 + (uint64_t)tmp_lane_1000009a0_1_1_1);
                        z26_7 = r2sleigh_bits_insert_256_64(z26_6, (uint64_t)tmp_lane_1000009a0_1_2_1, 64U);
                        z26_8 = r2sleigh_bits_insert_256_64(z26_7, (uint64_t)0U, 128U);
                        tmp_lane_1000009a4_0_0_1 = r2sleigh_bits_extract_256_64(z0_29, 0U);
                        tmp_lane_1000009a8_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009a4_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z0_36 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009a8_0_2_1, 0U);
                        z0_37 = r2sleigh_bits_insert_256_8(z0_36, (uint8_t)0U, 8U);
                        z0_38 = r2sleigh_bits_insert_256_8(z0_37, (uint8_t)0U, 16U);
                        z0_39 = r2sleigh_bits_insert_256_8(z0_38, (uint8_t)0U, 24U);
                        z0_40 = r2sleigh_bits_insert_256_8(z0_39, (uint8_t)0U, 32U);
                        z0_41 = r2sleigh_bits_insert_256_8(z0_40, (uint8_t)0U, 40U);
                        z0_42 = r2sleigh_bits_insert_256_8(z0_41, (uint8_t)0U, 48U);
                        z0_43 = r2sleigh_bits_insert_256_8(z0_42, (uint8_t)0U, 56U);
                        tmp_lane_1000009a8_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009a4_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z0_44 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009a8_8_2_1, 64U);
                        z0_45 = r2sleigh_bits_insert_256_8(z0_44, (uint8_t)0U, 72U);
                        z0_46 = r2sleigh_bits_insert_256_8(z0_45, (uint8_t)0U, 80U);
                        z0_47 = r2sleigh_bits_insert_256_8(z0_46, (uint8_t)0U, 88U);
                        z0_48 = r2sleigh_bits_insert_256_8(z0_47, (uint8_t)0U, 96U);
                        z0_49 = r2sleigh_bits_insert_256_8(z0_48, (uint8_t)0U, 104U);
                        z0_50 = r2sleigh_bits_insert_256_8(z0_49, (uint8_t)0U, 112U);
                        z0_51 = r2sleigh_bits_insert_256_8(z0_50, (uint8_t)0U, 120U);
                        tmp_lane_1000009ac_0_0_1 = r2sleigh_bits_extract_256_64(z23_5, 0U);
                        tmp_lane_1000009ac_0_1_1 = r2sleigh_bits_extract_256_64(z0_43, 0U);
                        tmp_lane_1000009ac_0_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009ac_0_0_1 + (uint64_t)tmp_lane_1000009ac_0_1_1);
                        z23_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_1000009ac_0_2_1, 0U);
                        tmp_lane_1000009ac_1_0_1 = r2sleigh_bits_extract_256_64(z23_5, 64U);
                        tmp_lane_1000009ac_1_1_1 = r2sleigh_bits_extract_256_64(z0_51, 64U);
                        tmp_lane_1000009ac_1_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009ac_1_0_1 + (uint64_t)tmp_lane_1000009ac_1_1_1);
                        z23_7 = r2sleigh_bits_insert_256_64(z23_6, (uint64_t)tmp_lane_1000009ac_1_2_1, 64U);
                        z23_8 = r2sleigh_bits_insert_256_64(z23_7, (uint64_t)0U, 128U);
                        tmp_lane_1000009b0_0_0_1 = r2sleigh_bits_extract_256_64(z2_11, 0U);
                        tmp_lane_1000009b4_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009b0_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z0_58 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009b4_0_2_1, 0U);
                        z0_59 = r2sleigh_bits_insert_256_8(z0_58, (uint8_t)0U, 8U);
                        z0_60 = r2sleigh_bits_insert_256_8(z0_59, (uint8_t)0U, 16U);
                        z0_61 = r2sleigh_bits_insert_256_8(z0_60, (uint8_t)0U, 24U);
                        z0_62 = r2sleigh_bits_insert_256_8(z0_61, (uint8_t)0U, 32U);
                        z0_63 = r2sleigh_bits_insert_256_8(z0_62, (uint8_t)0U, 40U);
                        z0_64 = r2sleigh_bits_insert_256_8(z0_63, (uint8_t)0U, 48U);
                        z0_65 = r2sleigh_bits_insert_256_8(z0_64, (uint8_t)0U, 56U);
                        tmp_lane_1000009b4_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009b0_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z0_66 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009b4_8_2_1, 64U);
                        z0_67 = r2sleigh_bits_insert_256_8(z0_66, (uint8_t)0U, 72U);
                        z0_68 = r2sleigh_bits_insert_256_8(z0_67, (uint8_t)0U, 80U);
                        z0_69 = r2sleigh_bits_insert_256_8(z0_68, (uint8_t)0U, 88U);
                        z0_70 = r2sleigh_bits_insert_256_8(z0_69, (uint8_t)0U, 96U);
                        z0_71 = r2sleigh_bits_insert_256_8(z0_70, (uint8_t)0U, 104U);
                        z0_72 = r2sleigh_bits_insert_256_8(z0_71, (uint8_t)0U, 112U);
                        z0_73 = r2sleigh_bits_insert_256_8(z0_72, (uint8_t)0U, 120U);
                        tmp_lane_1000009b8_0_0_1 = r2sleigh_bits_extract_256_64(z24_5, 0U);
                        tmp_lane_1000009b8_0_1_1 = r2sleigh_bits_extract_256_64(z0_65, 0U);
                        tmp_lane_1000009b8_0_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009b8_0_0_1 + (uint64_t)tmp_lane_1000009b8_0_1_1);
                        z24_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_1000009b8_0_2_1, 0U);
                        tmp_lane_1000009b8_1_0_1 = r2sleigh_bits_extract_256_64(z24_5, 64U);
                        tmp_lane_1000009b8_1_1_1 = r2sleigh_bits_extract_256_64(z0_73, 64U);
                        tmp_lane_1000009b8_1_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009b8_1_0_1 + (uint64_t)tmp_lane_1000009b8_1_1_1);
                        z24_7 = r2sleigh_bits_insert_256_64(z24_6, (uint64_t)tmp_lane_1000009b8_1_2_1, 64U);
                        z24_8 = r2sleigh_bits_insert_256_64(z24_7, (uint64_t)0U, 128U);
                        tmp_lane_1000009bc_0_0_1 = r2sleigh_bits_extract_256_64(z1_47, 0U);
                        tmp_lane_1000009c0_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009bc_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z0_80 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009c0_0_2_1, 0U);
                        z0_81 = r2sleigh_bits_insert_256_8(z0_80, (uint8_t)0U, 8U);
                        z0_82 = r2sleigh_bits_insert_256_8(z0_81, (uint8_t)0U, 16U);
                        z0_83 = r2sleigh_bits_insert_256_8(z0_82, (uint8_t)0U, 24U);
                        z0_84 = r2sleigh_bits_insert_256_8(z0_83, (uint8_t)0U, 32U);
                        z0_85 = r2sleigh_bits_insert_256_8(z0_84, (uint8_t)0U, 40U);
                        z0_86 = r2sleigh_bits_insert_256_8(z0_85, (uint8_t)0U, 48U);
                        z0_87 = r2sleigh_bits_insert_256_8(z0_86, (uint8_t)0U, 56U);
                        tmp_lane_1000009c0_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009bc_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z0_88 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009c0_8_2_1, 64U);
                        z0_89 = r2sleigh_bits_insert_256_8(z0_88, (uint8_t)0U, 72U);
                        z0_90 = r2sleigh_bits_insert_256_8(z0_89, (uint8_t)0U, 80U);
                        z0_91 = r2sleigh_bits_insert_256_8(z0_90, (uint8_t)0U, 88U);
                        z0_92 = r2sleigh_bits_insert_256_8(z0_91, (uint8_t)0U, 96U);
                        z0_93 = r2sleigh_bits_insert_256_8(z0_92, (uint8_t)0U, 104U);
                        z0_94 = r2sleigh_bits_insert_256_8(z0_93, (uint8_t)0U, 112U);
                        z0_95 = r2sleigh_bits_insert_256_8(z0_94, (uint8_t)0U, 120U);
                        tmp_lane_1000009c4_0_0_1 = r2sleigh_bits_extract_256_64(z19_5, 0U);
                        tmp_lane_1000009c4_0_1_1 = r2sleigh_bits_extract_256_64(z0_87, 0U);
                        tmp_lane_1000009c4_0_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009c4_0_0_1 + (uint64_t)tmp_lane_1000009c4_0_1_1);
                        z19_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_1000009c4_0_2_1, 0U);
                        tmp_lane_1000009c4_1_0_1 = r2sleigh_bits_extract_256_64(z19_5, 64U);
                        tmp_lane_1000009c4_1_1_1 = r2sleigh_bits_extract_256_64(z0_95, 64U);
                        tmp_lane_1000009c4_1_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009c4_1_0_1 + (uint64_t)tmp_lane_1000009c4_1_1_1);
                        z19_7 = r2sleigh_bits_insert_256_64(z19_6, (uint64_t)tmp_lane_1000009c4_1_2_1, 64U);
                        z19_8 = r2sleigh_bits_insert_256_64(z19_7, (uint64_t)0U, 128U);
                        tmp_lane_1000009c8_0_0_1 = r2sleigh_bits_extract_256_64(z14_8, 0U);
                        tmp_lane_1000009cc_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009c8_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z0_102 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009cc_0_2_1, 0U);
                        z0_103 = r2sleigh_bits_insert_256_8(z0_102, (uint8_t)0U, 8U);
                        z0_104 = r2sleigh_bits_insert_256_8(z0_103, (uint8_t)0U, 16U);
                        z0_105 = r2sleigh_bits_insert_256_8(z0_104, (uint8_t)0U, 24U);
                        z0_106 = r2sleigh_bits_insert_256_8(z0_105, (uint8_t)0U, 32U);
                        z0_107 = r2sleigh_bits_insert_256_8(z0_106, (uint8_t)0U, 40U);
                        z0_108 = r2sleigh_bits_insert_256_8(z0_107, (uint8_t)0U, 48U);
                        z0_109 = r2sleigh_bits_insert_256_8(z0_108, (uint8_t)0U, 56U);
                        tmp_lane_1000009cc_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009c8_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z0_110 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009cc_8_2_1, 64U);
                        z0_111 = r2sleigh_bits_insert_256_8(z0_110, (uint8_t)0U, 72U);
                        z0_112 = r2sleigh_bits_insert_256_8(z0_111, (uint8_t)0U, 80U);
                        z0_113 = r2sleigh_bits_insert_256_8(z0_112, (uint8_t)0U, 88U);
                        z0_114 = r2sleigh_bits_insert_256_8(z0_113, (uint8_t)0U, 96U);
                        z0_115 = r2sleigh_bits_insert_256_8(z0_114, (uint8_t)0U, 104U);
                        z0_116 = r2sleigh_bits_insert_256_8(z0_115, (uint8_t)0U, 112U);
                        z0_117 = r2sleigh_bits_insert_256_8(z0_116, (uint8_t)0U, 120U);
                        tmp_lane_1000009d0_0_0_1 = r2sleigh_bits_extract_256_64(z25_5, 0U);
                        tmp_lane_1000009d0_0_1_1 = r2sleigh_bits_extract_256_64(z0_109, 0U);
                        tmp_lane_1000009d0_0_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009d0_0_0_1 + (uint64_t)tmp_lane_1000009d0_0_1_1);
                        z25_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_1000009d0_0_2_1, 0U);
                        tmp_lane_1000009d0_1_0_1 = r2sleigh_bits_extract_256_64(z25_5, 64U);
                        tmp_lane_1000009d0_1_1_1 = r2sleigh_bits_extract_256_64(z0_117, 64U);
                        tmp_lane_1000009d0_1_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009d0_1_0_1 + (uint64_t)tmp_lane_1000009d0_1_1_1);
                        z25_7 = r2sleigh_bits_insert_256_64(z25_6, (uint64_t)tmp_lane_1000009d0_1_2_1, 64U);
                        z25_8 = r2sleigh_bits_insert_256_64(z25_7, (uint64_t)0U, 128U);
                        tmp_lane_1000009d4_0_0_1 = r2sleigh_bits_extract_256_64(z13_8, 0U);
                        tmp_lane_1000009d8_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009d4_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z0_124 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009d8_0_2_1, 0U);
                        z0_125 = r2sleigh_bits_insert_256_8(z0_124, (uint8_t)0U, 8U);
                        z0_126 = r2sleigh_bits_insert_256_8(z0_125, (uint8_t)0U, 16U);
                        z0_127 = r2sleigh_bits_insert_256_8(z0_126, (uint8_t)0U, 24U);
                        z0_128 = r2sleigh_bits_insert_256_8(z0_127, (uint8_t)0U, 32U);
                        z0_129 = r2sleigh_bits_insert_256_8(z0_128, (uint8_t)0U, 40U);
                        z0_130 = r2sleigh_bits_insert_256_8(z0_129, (uint8_t)0U, 48U);
                        z0_131 = r2sleigh_bits_insert_256_8(z0_130, (uint8_t)0U, 56U);
                        tmp_lane_1000009d8_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009d4_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z0_132 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009d8_8_2_1, 64U);
                        z0_133 = r2sleigh_bits_insert_256_8(z0_132, (uint8_t)0U, 72U);
                        z0_134 = r2sleigh_bits_insert_256_8(z0_133, (uint8_t)0U, 80U);
                        z0_135 = r2sleigh_bits_insert_256_8(z0_134, (uint8_t)0U, 88U);
                        z0_136 = r2sleigh_bits_insert_256_8(z0_135, (uint8_t)0U, 96U);
                        z0_137 = r2sleigh_bits_insert_256_8(z0_136, (uint8_t)0U, 104U);
                        z0_138 = r2sleigh_bits_insert_256_8(z0_137, (uint8_t)0U, 112U);
                        z0_139 = r2sleigh_bits_insert_256_8(z0_138, (uint8_t)0U, 120U);
                        tmp_lane_1000009dc_0_0_1 = r2sleigh_bits_extract_256_64(z21_5, 0U);
                        tmp_lane_1000009dc_0_1_1 = r2sleigh_bits_extract_256_64(z0_131, 0U);
                        tmp_lane_1000009dc_0_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009dc_0_0_1 + (uint64_t)tmp_lane_1000009dc_0_1_1);
                        z21_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_1000009dc_0_2_1, 0U);
                        tmp_lane_1000009dc_1_0_1 = r2sleigh_bits_extract_256_64(z21_5, 64U);
                        tmp_lane_1000009dc_1_1_1 = r2sleigh_bits_extract_256_64(z0_139, 64U);
                        tmp_lane_1000009dc_1_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009dc_1_0_1 + (uint64_t)tmp_lane_1000009dc_1_1_1);
                        z21_7 = r2sleigh_bits_insert_256_64(z21_6, (uint64_t)tmp_lane_1000009dc_1_2_1, 64U);
                        z21_8 = r2sleigh_bits_insert_256_64(z21_7, (uint64_t)0U, 128U);
                        tmp_lane_1000009e0_0_0_1 = r2sleigh_bits_extract_256_64(z11_8, 0U);
                        tmp_lane_1000009e4_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009e0_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z0_146 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009e4_0_2_1, 0U);
                        z0_147 = r2sleigh_bits_insert_256_8(z0_146, (uint8_t)0U, 8U);
                        z0_148 = r2sleigh_bits_insert_256_8(z0_147, (uint8_t)0U, 16U);
                        z0_149 = r2sleigh_bits_insert_256_8(z0_148, (uint8_t)0U, 24U);
                        z0_150 = r2sleigh_bits_insert_256_8(z0_149, (uint8_t)0U, 32U);
                        z0_151 = r2sleigh_bits_insert_256_8(z0_150, (uint8_t)0U, 40U);
                        z0_152 = r2sleigh_bits_insert_256_8(z0_151, (uint8_t)0U, 48U);
                        z0_153 = r2sleigh_bits_insert_256_8(z0_152, (uint8_t)0U, 56U);
                        tmp_lane_1000009e4_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009e0_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z0_154 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009e4_8_2_1, 64U);
                        z0_155 = r2sleigh_bits_insert_256_8(z0_154, (uint8_t)0U, 72U);
                        z0_156 = r2sleigh_bits_insert_256_8(z0_155, (uint8_t)0U, 80U);
                        z0_157 = r2sleigh_bits_insert_256_8(z0_156, (uint8_t)0U, 88U);
                        z0_158 = r2sleigh_bits_insert_256_8(z0_157, (uint8_t)0U, 96U);
                        z0_159 = r2sleigh_bits_insert_256_8(z0_158, (uint8_t)0U, 104U);
                        z0_160 = r2sleigh_bits_insert_256_8(z0_159, (uint8_t)0U, 112U);
                        z0_161 = r2sleigh_bits_insert_256_8(z0_160, (uint8_t)0U, 120U);
                        tmp_lane_1000009e8_0_0_1 = r2sleigh_bits_extract_256_64(z22_5, 0U);
                        tmp_lane_1000009e8_0_1_1 = r2sleigh_bits_extract_256_64(z0_153, 0U);
                        tmp_lane_1000009e8_0_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009e8_0_0_1 + (uint64_t)tmp_lane_1000009e8_0_1_1);
                        z22_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_1000009e8_0_2_1, 0U);
                        tmp_lane_1000009e8_1_0_1 = r2sleigh_bits_extract_256_64(z22_5, 64U);
                        tmp_lane_1000009e8_1_1_1 = r2sleigh_bits_extract_256_64(z0_161, 64U);
                        tmp_lane_1000009e8_1_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009e8_1_0_1 + (uint64_t)tmp_lane_1000009e8_1_1_1);
                        z22_7 = r2sleigh_bits_insert_256_64(z22_6, (uint64_t)tmp_lane_1000009e8_1_2_1, 64U);
                        z22_8 = r2sleigh_bits_insert_256_64(z22_7, (uint64_t)0U, 128U);
                        tmp_lane_1000009ec_0_0_1 = r2sleigh_bits_extract_256_64(z9_26, 0U);
                        tmp_lane_1000009f0_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009ec_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z0_168 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009f0_0_2_1, 0U);
                        z0_169 = r2sleigh_bits_insert_256_8(z0_168, (uint8_t)0U, 8U);
                        z0_170 = r2sleigh_bits_insert_256_8(z0_169, (uint8_t)0U, 16U);
                        z0_171 = r2sleigh_bits_insert_256_8(z0_170, (uint8_t)0U, 24U);
                        z0_172 = r2sleigh_bits_insert_256_8(z0_171, (uint8_t)0U, 32U);
                        z0_173 = r2sleigh_bits_insert_256_8(z0_172, (uint8_t)0U, 40U);
                        z0_174 = r2sleigh_bits_insert_256_8(z0_173, (uint8_t)0U, 48U);
                        z0_175 = r2sleigh_bits_insert_256_8(z0_174, (uint8_t)0U, 56U);
                        tmp_lane_1000009f0_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_1000009ec_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z0_176 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_1000009f0_8_2_1, 64U);
                        z0_177 = r2sleigh_bits_insert_256_8(z0_176, (uint8_t)0U, 72U);
                        z0_178 = r2sleigh_bits_insert_256_8(z0_177, (uint8_t)0U, 80U);
                        z0_179 = r2sleigh_bits_insert_256_8(z0_178, (uint8_t)0U, 88U);
                        z0_180 = r2sleigh_bits_insert_256_8(z0_179, (uint8_t)0U, 96U);
                        z0_181 = r2sleigh_bits_insert_256_8(z0_180, (uint8_t)0U, 104U);
                        z0_182 = r2sleigh_bits_insert_256_8(z0_181, (uint8_t)0U, 112U);
                        z0_183 = r2sleigh_bits_insert_256_8(z0_182, (uint8_t)0U, 120U);
                        tmp_lane_1000009f4_0_0_1 = r2sleigh_bits_extract_256_64(z18_5, 0U);
                        tmp_lane_1000009f4_0_1_1 = r2sleigh_bits_extract_256_64(z0_175, 0U);
                        tmp_lane_1000009f4_0_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009f4_0_0_1 + (uint64_t)tmp_lane_1000009f4_0_1_1);
                        z18_6 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_1000009f4_0_2_1, 0U);
                        tmp_lane_1000009f4_1_0_1 = r2sleigh_bits_extract_256_64(z18_5, 64U);
                        tmp_lane_1000009f4_1_1_1 = r2sleigh_bits_extract_256_64(z0_183, 64U);
                        tmp_lane_1000009f4_1_2_1 = (uint64_t)((uint64_t)tmp_lane_1000009f4_1_0_1 + (uint64_t)tmp_lane_1000009f4_1_1_1);
                        z18_7 = r2sleigh_bits_insert_256_64(z18_6, (uint64_t)tmp_lane_1000009f4_1_2_1, 64U);
                        z18_8 = r2sleigh_bits_insert_256_64(z18_7, (uint64_t)0U, 128U);
                        tmp_1000009fc_8_1 = (uint64_t)((uint64_t)x10_2 - (uint64_t)32U);
                        x10_2 = tmp_1000009fc_8_1;
                        x8_5 = (uint64_t)((uint64_t)x8_5 + (uint64_t)32U);
                        z16_5 = r2sleigh_bits_insert_256_64(z16_8, (uint64_t)0U, 192U);
                        z17_5 = r2sleigh_bits_insert_256_64(z17_8, (uint64_t)0U, 192U);
                        z18_5 = r2sleigh_bits_insert_256_64(z18_8, (uint64_t)0U, 192U);
                        z19_5 = r2sleigh_bits_insert_256_64(z19_8, (uint64_t)0U, 192U);
                        z20_5 = r2sleigh_bits_insert_256_64(z20_8, (uint64_t)0U, 192U);
                        z21_5 = r2sleigh_bits_insert_256_64(z21_8, (uint64_t)0U, 192U);
                        z22_5 = r2sleigh_bits_insert_256_64(z22_8, (uint64_t)0U, 192U);
                        z23_5 = r2sleigh_bits_insert_256_64(z23_8, (uint64_t)0U, 192U);
                        z24_5 = r2sleigh_bits_insert_256_64(z24_8, (uint64_t)0U, 192U);
                        z25_5 = r2sleigh_bits_insert_256_64(z25_8, (uint64_t)0U, 192U);
                        z26_5 = r2sleigh_bits_insert_256_64(z26_8, (uint64_t)0U, 192U);
                        z27_5 = r2sleigh_bits_insert_256_64(z27_60, (uint64_t)0U, 192U);
                        z29_5 = r2sleigh_bits_insert_256_64(z29_179, (uint64_t)0U, 192U);
                        z5_5 = r2sleigh_bits_insert_256_64(z5_8, (uint64_t)0U, 192U);
                        z6_5 = r2sleigh_bits_insert_256_64(z6_8, (uint64_t)0U, 192U);
                        z7_5 = r2sleigh_bits_insert_256_64(z7_8, (uint64_t)0U, 192U);
                    } while ((uint8_t)((uint64_t)tmp_1000009fc_8_1 != (uint64_t)0U));
                    {
                        tmp_lane_100000a1c_0_1_1 = (uint64_t)((__uint128_t)tmp_lane_100000990_1_0_1 >> 0U);
                        tmp_lane_100000a1c_1_1_1 = (uint64_t)((__uint128_t)tmp_lane_100000990_1_0_1 >> 64U);
                        x8_7 = (uint64_t)((uint64_t)tmp_lane_100000954_1_2_1 + (uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)tmp_lane_1000009d0_0_2_1 + (uint64_t)tmp_lane_100000960_0_2_1) + (uint64_t)tmp_lane_1000009d0_1_2_1) + (uint64_t)tmp_lane_100000960_1_2_1) + (uint64_t)tmp_lane_1000009a0_0_2_1) + (uint64_t)tmp_lane_100000930_0_2_1) + (uint64_t)tmp_lane_1000009a0_1_2_1) + (uint64_t)tmp_lane_100000930_1_2_1) + (uint64_t)tmp_lane_1000009e8_0_2_1) + (uint64_t)tmp_lane_10000097c_0_2_1) + (uint64_t)tmp_lane_1000009e8_1_2_1) + (uint64_t)tmp_lane_10000097c_1_2_1) + (uint64_t)tmp_lane_1000009b8_0_2_1) + (uint64_t)tmp_lane_100000948_0_2_1) + (uint64_t)tmp_lane_1000009b8_1_2_1) + (uint64_t)tmp_lane_100000948_1_2_1) + (uint64_t)tmp_lane_1000009dc_0_2_1) + (uint64_t)tmp_lane_10000096c_0_2_1) + (uint64_t)tmp_lane_1000009dc_1_2_1) + (uint64_t)tmp_lane_10000096c_1_2_1) + (uint64_t)tmp_lane_1000009ac_0_2_1) + (uint64_t)tmp_lane_10000093c_0_2_1) + (uint64_t)tmp_lane_1000009ac_1_2_1) + (uint64_t)tmp_lane_10000093c_1_2_1) + (uint64_t)tmp_lane_1000009f4_0_2_1) + (uint64_t)tmp_lane_100000a1c_0_1_1) + (uint64_t)tmp_lane_1000009f4_1_2_1) + (uint64_t)tmp_lane_100000a1c_1_1_1) + (uint64_t)tmp_lane_1000009c4_0_2_1) + (uint64_t)tmp_lane_100000954_0_2_1) + (uint64_t)tmp_lane_1000009c4_1_2_1));
                        if ((uint8_t)((uint64_t)((uint64_t)arg1 & (uint64_t)-0x20) == (uint64_t)arg1)) {
                            x8_16 = x8_7;
                            return (uint64_t)x8_16;
                        } else {
                            if ((uint8_t)((uint64_t)((uint64_t)arg1 & (uint64_t)24U) == (uint64_t)0U)) {
                                x8_13 = x8_7;
                                x9_6 = (uint64_t)((uint64_t)arg1 & (uint64_t)-0x20);
                                goto L3;
                            } else {
                                x8_8 = x8_7;
                                x9_4 = (uint64_t)((uint64_t)arg1 & (uint64_t)-0x20);
                            }
                        }
                    }
                } else {
                    x8_8 = 0;
                    x9_4 = 0;
                }
                {
                    z0_207 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 64U);
                    z0_208 = r2sleigh_bits_insert_256_64(z0_207, (uint64_t)0U, 128U);
                    z0_209 = r2sleigh_bits_insert_256_64(z0_208, (uint64_t)0U, 192U);
                    z0_210 = r2sleigh_bits_insert_256_64(z0_209, (uint64_t)x8_8, 0U);
                    z0_211 = r2sleigh_bits_insert_256_64(z0_210, (uint64_t)0U, 128U);
                    z1_54 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z1_55 = r2sleigh_bits_insert_256_64(z1_54, (uint64_t)0U, 64U);
                    z1_56 = r2sleigh_bits_insert_256_64(z1_55, (uint64_t)0U, 128U);
                    tmp_lane_100000a6c_0_0_1 = (uint8_t)((uint32_t)arg2 >> 0U);
                    tmp_lane_100000a70_0_0_1 = (uint8_t)((uint32_t)arg3 >> 0U);
                    z5_14 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z5_15 = r2sleigh_bits_insert_256_64(z5_14, (uint64_t)0U, 64U);
                    z5_16 = r2sleigh_bits_insert_256_64(z5_15, (uint64_t)0U, 128U);
                    z6_18 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
                    z6_19 = r2sleigh_bits_insert_256_64(z6_18, (uint64_t)0U, 64U);
                    z6_20 = r2sleigh_bits_insert_256_64(z6_19, (uint64_t)0U, 128U);
                    x10_6 = (uint64_t)((uint64_t)arg0 + (uint64_t)x9_4);
                    x8_10 = (uint64_t)((uint64_t)x9_4 - (uint64_t)((uint64_t)arg1 & (uint64_t)-0x8));
                    z0_213 = r2sleigh_bits_insert_256_64(z0_211, (uint64_t)0U, 192U);
                    z1_58 = r2sleigh_bits_insert_256_64(z1_56, (uint64_t)0U, 192U);
                    z5_18 = r2sleigh_bits_insert_256_64(z5_16, (uint64_t)0U, 192U);
                    z6_22 = r2sleigh_bits_insert_256_64(z6_20, (uint64_t)0U, 192U);
                    do {
                        tmp_lane_100000a8c_2_0_1 = r2sleigh_load_u64((void*)x10_6);
                        tmp_lane_100000a98_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 0U) == (uint8_t)tmp_lane_100000a6c_0_0_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 0U) == (uint8_t)tmp_lane_100000a70_0_0_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_100000a98_1_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 8U) == (uint8_t)tmp_lane_100000a6c_0_0_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 8U) == (uint8_t)tmp_lane_100000a70_0_0_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_100000a98_2_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 16U) == (uint8_t)tmp_lane_100000a6c_0_0_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 16U) == (uint8_t)tmp_lane_100000a70_0_0_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_100000a98_3_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 24U) == (uint8_t)tmp_lane_100000a6c_0_0_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 24U) == (uint8_t)tmp_lane_100000a70_0_0_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_100000a98_4_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 32U) == (uint8_t)tmp_lane_100000a6c_0_0_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 32U) == (uint8_t)tmp_lane_100000a70_0_0_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_100000a98_5_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 40U) == (uint8_t)tmp_lane_100000a6c_0_0_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 40U) == (uint8_t)tmp_lane_100000a70_0_0_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_100000a98_6_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 48U) == (uint8_t)tmp_lane_100000a6c_0_0_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 48U) == (uint8_t)tmp_lane_100000a70_0_0_1) * (uint32_t)(uint8_t)255U));
                        tmp_lane_100000a98_7_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 56U) == (uint8_t)tmp_lane_100000a6c_0_0_1) * (uint32_t)(uint8_t)255U) | (uint32_t)(uint8_t)((uint32_t)(uint8_t)((uint8_t)((uint64_t)tmp_lane_100000a8c_2_0_1 >> 56U) == (uint8_t)tmp_lane_100000a70_0_0_1) * (uint32_t)(uint8_t)255U));
                        z16_21 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000a98_0_2_1, 0U);
                        z16_22 = r2sleigh_bits_insert_256_8(z16_21, (uint8_t)0U, 8U);
                        z16_23 = r2sleigh_bits_insert_256_16(z16_22, (uint16_t)0U, 16U);
                        z16_24 = r2sleigh_bits_insert_256_32(z16_23, (uint32_t)0U, 32U);
                        z16_25 = r2sleigh_bits_insert_256_64(z16_24, (uint64_t)0U, 64U);
                        z16_26 = r2sleigh_bits_insert_256_64(z16_25, (uint64_t)0U, 128U);
                        z16_27 = r2sleigh_bits_insert_256_64(z16_26, (uint64_t)0U, 192U);
                        z16_28 = r2sleigh_bits_insert_256_8(z16_27, (uint8_t)tmp_lane_100000a98_1_2_1, 32U);
                        tmp_lane_100000aa4_0_0_1 = r2sleigh_bits_extract_256_64(z16_28, 0U);
                        z17_10 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000a98_2_2_1, 0U);
                        z17_11 = r2sleigh_bits_insert_256_8(z17_10, (uint8_t)0U, 8U);
                        z17_12 = r2sleigh_bits_insert_256_16(z17_11, (uint16_t)0U, 16U);
                        z17_13 = r2sleigh_bits_insert_256_32(z17_12, (uint32_t)0U, 32U);
                        z17_14 = r2sleigh_bits_insert_256_64(z17_13, (uint64_t)0U, 64U);
                        z17_15 = r2sleigh_bits_insert_256_64(z17_14, (uint64_t)0U, 128U);
                        z17_16 = r2sleigh_bits_insert_256_64(z17_15, (uint64_t)0U, 192U);
                        z17_17 = r2sleigh_bits_insert_256_8(z17_16, (uint8_t)tmp_lane_100000a98_3_2_1, 32U);
                        tmp_lane_100000ab0_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000aa4_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z16_35 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000ab0_0_2_1, 0U);
                        z16_36 = r2sleigh_bits_insert_256_8(z16_35, (uint8_t)0U, 8U);
                        z16_37 = r2sleigh_bits_insert_256_8(z16_36, (uint8_t)0U, 16U);
                        z16_38 = r2sleigh_bits_insert_256_8(z16_37, (uint8_t)0U, 24U);
                        z16_39 = r2sleigh_bits_insert_256_8(z16_38, (uint8_t)0U, 32U);
                        z16_40 = r2sleigh_bits_insert_256_8(z16_39, (uint8_t)0U, 40U);
                        z16_41 = r2sleigh_bits_insert_256_8(z16_40, (uint8_t)0U, 48U);
                        z16_42 = r2sleigh_bits_insert_256_8(z16_41, (uint8_t)0U, 56U);
                        tmp_lane_100000ab0_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000aa4_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z16_43 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000ab0_8_2_1, 64U);
                        z16_44 = r2sleigh_bits_insert_256_8(z16_43, (uint8_t)0U, 72U);
                        z16_45 = r2sleigh_bits_insert_256_8(z16_44, (uint8_t)0U, 80U);
                        z16_46 = r2sleigh_bits_insert_256_8(z16_45, (uint8_t)0U, 88U);
                        z16_47 = r2sleigh_bits_insert_256_8(z16_46, (uint8_t)0U, 96U);
                        z16_48 = r2sleigh_bits_insert_256_8(z16_47, (uint8_t)0U, 104U);
                        z16_49 = r2sleigh_bits_insert_256_8(z16_48, (uint8_t)0U, 112U);
                        z16_50 = r2sleigh_bits_insert_256_8(z16_49, (uint8_t)0U, 120U);
                        tmp_lane_100000ab4_0_0_1 = r2sleigh_bits_extract_256_64(z17_17, 0U);
                        tmp_lane_100000ab8_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000ab4_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z17_24 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000ab8_0_2_1, 0U);
                        z17_25 = r2sleigh_bits_insert_256_8(z17_24, (uint8_t)0U, 8U);
                        z17_26 = r2sleigh_bits_insert_256_8(z17_25, (uint8_t)0U, 16U);
                        z17_27 = r2sleigh_bits_insert_256_8(z17_26, (uint8_t)0U, 24U);
                        z17_28 = r2sleigh_bits_insert_256_8(z17_27, (uint8_t)0U, 32U);
                        z17_29 = r2sleigh_bits_insert_256_8(z17_28, (uint8_t)0U, 40U);
                        z17_30 = r2sleigh_bits_insert_256_8(z17_29, (uint8_t)0U, 48U);
                        z17_31 = r2sleigh_bits_insert_256_8(z17_30, (uint8_t)0U, 56U);
                        tmp_lane_100000ab8_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000ab4_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z17_32 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000ab8_8_2_1, 64U);
                        z17_33 = r2sleigh_bits_insert_256_8(z17_32, (uint8_t)0U, 72U);
                        z17_34 = r2sleigh_bits_insert_256_8(z17_33, (uint8_t)0U, 80U);
                        z17_35 = r2sleigh_bits_insert_256_8(z17_34, (uint8_t)0U, 88U);
                        z17_36 = r2sleigh_bits_insert_256_8(z17_35, (uint8_t)0U, 96U);
                        z17_37 = r2sleigh_bits_insert_256_8(z17_36, (uint8_t)0U, 104U);
                        z17_38 = r2sleigh_bits_insert_256_8(z17_37, (uint8_t)0U, 112U);
                        z17_39 = r2sleigh_bits_insert_256_8(z17_38, (uint8_t)0U, 120U);
                        z18_10 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000a98_4_2_1, 0U);
                        z18_11 = r2sleigh_bits_insert_256_8(z18_10, (uint8_t)0U, 8U);
                        z18_12 = r2sleigh_bits_insert_256_16(z18_11, (uint16_t)0U, 16U);
                        z18_13 = r2sleigh_bits_insert_256_32(z18_12, (uint32_t)0U, 32U);
                        z18_14 = r2sleigh_bits_insert_256_64(z18_13, (uint64_t)0U, 64U);
                        z18_15 = r2sleigh_bits_insert_256_64(z18_14, (uint64_t)0U, 128U);
                        z18_16 = r2sleigh_bits_insert_256_64(z18_15, (uint64_t)0U, 192U);
                        z18_17 = r2sleigh_bits_insert_256_8(z18_16, (uint8_t)tmp_lane_100000a98_5_2_1, 32U);
                        tmp_lane_100000ac4_0_0_1 = r2sleigh_bits_extract_256_64(z18_17, 0U);
                        tmp_lane_100000ac8_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000ac4_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z18_24 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000ac8_0_2_1, 0U);
                        z18_25 = r2sleigh_bits_insert_256_8(z18_24, (uint8_t)0U, 8U);
                        z18_26 = r2sleigh_bits_insert_256_8(z18_25, (uint8_t)0U, 16U);
                        z18_27 = r2sleigh_bits_insert_256_8(z18_26, (uint8_t)0U, 24U);
                        z18_28 = r2sleigh_bits_insert_256_8(z18_27, (uint8_t)0U, 32U);
                        z18_29 = r2sleigh_bits_insert_256_8(z18_28, (uint8_t)0U, 40U);
                        z18_30 = r2sleigh_bits_insert_256_8(z18_29, (uint8_t)0U, 48U);
                        z18_31 = r2sleigh_bits_insert_256_8(z18_30, (uint8_t)0U, 56U);
                        tmp_lane_100000ac8_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000ac4_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z18_32 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000ac8_8_2_1, 64U);
                        z18_33 = r2sleigh_bits_insert_256_8(z18_32, (uint8_t)0U, 72U);
                        z18_34 = r2sleigh_bits_insert_256_8(z18_33, (uint8_t)0U, 80U);
                        z18_35 = r2sleigh_bits_insert_256_8(z18_34, (uint8_t)0U, 88U);
                        z18_36 = r2sleigh_bits_insert_256_8(z18_35, (uint8_t)0U, 96U);
                        z18_37 = r2sleigh_bits_insert_256_8(z18_36, (uint8_t)0U, 104U);
                        z18_38 = r2sleigh_bits_insert_256_8(z18_37, (uint8_t)0U, 112U);
                        z18_39 = r2sleigh_bits_insert_256_8(z18_38, (uint8_t)0U, 120U);
                        z19_10 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000a98_6_2_1, 0U);
                        z19_11 = r2sleigh_bits_insert_256_8(z19_10, (uint8_t)0U, 8U);
                        z19_12 = r2sleigh_bits_insert_256_16(z19_11, (uint16_t)0U, 16U);
                        z19_13 = r2sleigh_bits_insert_256_32(z19_12, (uint32_t)0U, 32U);
                        z19_14 = r2sleigh_bits_insert_256_64(z19_13, (uint64_t)0U, 64U);
                        z19_15 = r2sleigh_bits_insert_256_64(z19_14, (uint64_t)0U, 128U);
                        z19_16 = r2sleigh_bits_insert_256_64(z19_15, (uint64_t)0U, 192U);
                        z19_17 = r2sleigh_bits_insert_256_8(z19_16, (uint8_t)tmp_lane_100000a98_7_2_1, 32U);
                        tmp_lane_100000ad4_0_0_1 = r2sleigh_bits_extract_256_64(z19_17, 0U);
                        tmp_lane_100000ad8_0_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000ad4_0_0_1 >> 0U) & (uint32_t)(uint8_t)1U);
                        z7_44 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000ad8_0_2_1, 0U);
                        z7_45 = r2sleigh_bits_insert_256_8(z7_44, (uint8_t)0U, 8U);
                        z7_46 = r2sleigh_bits_insert_256_8(z7_45, (uint8_t)0U, 16U);
                        z7_47 = r2sleigh_bits_insert_256_8(z7_46, (uint8_t)0U, 24U);
                        z7_48 = r2sleigh_bits_insert_256_8(z7_47, (uint8_t)0U, 32U);
                        z7_49 = r2sleigh_bits_insert_256_8(z7_48, (uint8_t)0U, 40U);
                        z7_50 = r2sleigh_bits_insert_256_8(z7_49, (uint8_t)0U, 48U);
                        z7_51 = r2sleigh_bits_insert_256_8(z7_50, (uint8_t)0U, 56U);
                        tmp_lane_100000ad8_8_2_1 = (uint8_t)((uint32_t)(uint8_t)((uint64_t)tmp_lane_100000ad4_0_0_1 >> 32U) & (uint32_t)(uint8_t)1U);
                        z7_52 = r2sleigh_bits_insert_256_8(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint8_t)tmp_lane_100000ad8_8_2_1, 64U);
                        z7_53 = r2sleigh_bits_insert_256_8(z7_52, (uint8_t)0U, 72U);
                        z7_54 = r2sleigh_bits_insert_256_8(z7_53, (uint8_t)0U, 80U);
                        z7_55 = r2sleigh_bits_insert_256_8(z7_54, (uint8_t)0U, 88U);
                        z7_56 = r2sleigh_bits_insert_256_8(z7_55, (uint8_t)0U, 96U);
                        z7_57 = r2sleigh_bits_insert_256_8(z7_56, (uint8_t)0U, 104U);
                        z7_58 = r2sleigh_bits_insert_256_8(z7_57, (uint8_t)0U, 112U);
                        z7_59 = r2sleigh_bits_insert_256_8(z7_58, (uint8_t)0U, 120U);
                        tmp_lane_100000adc_0_0_1 = r2sleigh_bits_extract_256_64(z6_22, 0U);
                        tmp_lane_100000adc_0_1_1 = r2sleigh_bits_extract_256_64(z7_51, 0U);
                        tmp_lane_100000adc_0_2_1 = (uint64_t)((uint64_t)tmp_lane_100000adc_0_0_1 + (uint64_t)tmp_lane_100000adc_0_1_1);
                        z6_23 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_100000adc_0_2_1, 0U);
                        tmp_lane_100000adc_1_0_1 = r2sleigh_bits_extract_256_64(z6_22, 64U);
                        tmp_lane_100000adc_1_1_1 = r2sleigh_bits_extract_256_64(z7_59, 64U);
                        tmp_lane_100000adc_1_2_1 = (uint64_t)((uint64_t)tmp_lane_100000adc_1_0_1 + (uint64_t)tmp_lane_100000adc_1_1_1);
                        z6_24 = r2sleigh_bits_insert_256_64(z6_23, (uint64_t)tmp_lane_100000adc_1_2_1, 64U);
                        z6_25 = r2sleigh_bits_insert_256_64(z6_24, (uint64_t)0U, 128U);
                        tmp_lane_100000ae0_0_0_1 = r2sleigh_bits_extract_256_64(z5_18, 0U);
                        tmp_lane_100000ae0_0_1_1 = r2sleigh_bits_extract_256_64(z18_31, 0U);
                        tmp_lane_100000ae0_0_2_1 = (uint64_t)((uint64_t)tmp_lane_100000ae0_0_0_1 + (uint64_t)tmp_lane_100000ae0_0_1_1);
                        z5_19 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_100000ae0_0_2_1, 0U);
                        tmp_lane_100000ae0_1_0_1 = r2sleigh_bits_extract_256_64(z5_18, 64U);
                        tmp_lane_100000ae0_1_1_1 = r2sleigh_bits_extract_256_64(z18_39, 64U);
                        tmp_lane_100000ae0_1_2_1 = (uint64_t)((uint64_t)tmp_lane_100000ae0_1_0_1 + (uint64_t)tmp_lane_100000ae0_1_1_1);
                        z5_20 = r2sleigh_bits_insert_256_64(z5_19, (uint64_t)tmp_lane_100000ae0_1_2_1, 64U);
                        z5_21 = r2sleigh_bits_insert_256_64(z5_20, (uint64_t)0U, 128U);
                        tmp_lane_100000ae4_0_0_1 = r2sleigh_bits_extract_256_64(z1_58, 0U);
                        tmp_lane_100000ae4_0_1_1 = r2sleigh_bits_extract_256_64(z17_31, 0U);
                        tmp_lane_100000ae4_0_2_1 = (uint64_t)((uint64_t)tmp_lane_100000ae4_0_0_1 + (uint64_t)tmp_lane_100000ae4_0_1_1);
                        z1_59 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_100000ae4_0_2_1, 0U);
                        tmp_lane_100000ae4_1_0_1 = r2sleigh_bits_extract_256_64(z1_58, 64U);
                        tmp_lane_100000ae4_1_1_1 = r2sleigh_bits_extract_256_64(z17_39, 64U);
                        tmp_lane_100000ae4_1_2_1 = (uint64_t)((uint64_t)tmp_lane_100000ae4_1_0_1 + (uint64_t)tmp_lane_100000ae4_1_1_1);
                        z1_60 = r2sleigh_bits_insert_256_64(z1_59, (uint64_t)tmp_lane_100000ae4_1_2_1, 64U);
                        z1_61 = r2sleigh_bits_insert_256_64(z1_60, (uint64_t)0U, 128U);
                        tmp_lane_100000ae8_0_0_1 = r2sleigh_bits_extract_256_64(z0_213, 0U);
                        tmp_lane_100000ae8_0_1_1 = r2sleigh_bits_extract_256_64(z16_42, 0U);
                        tmp_lane_100000ae8_0_2_1 = (uint64_t)((uint64_t)tmp_lane_100000ae8_0_0_1 + (uint64_t)tmp_lane_100000ae8_0_1_1);
                        z0_214 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)tmp_lane_100000ae8_0_2_1, 0U);
                        tmp_lane_100000ae8_1_0_1 = r2sleigh_bits_extract_256_64(z0_213, 64U);
                        tmp_lane_100000ae8_1_1_1 = r2sleigh_bits_extract_256_64(z16_50, 64U);
                        tmp_lane_100000ae8_1_2_1 = (uint64_t)((uint64_t)tmp_lane_100000ae8_1_0_1 + (uint64_t)tmp_lane_100000ae8_1_1_1);
                        z0_215 = r2sleigh_bits_insert_256_64(z0_214, (uint64_t)tmp_lane_100000ae8_1_2_1, 64U);
                        z0_216 = r2sleigh_bits_insert_256_64(z0_215, (uint64_t)0U, 128U);
                        tmp_100000aec_8_1 = (uint64_t)((uint64_t)x8_10 + (uint64_t)8U);
                        x10_6 = (uint64_t)((uint64_t)x10_6 + (uint64_t)8U);
                        x8_10 = tmp_100000aec_8_1;
                        z0_213 = r2sleigh_bits_insert_256_64(z0_216, (uint64_t)0U, 192U);
                        z1_58 = r2sleigh_bits_insert_256_64(z1_61, (uint64_t)0U, 192U);
                        z5_18 = r2sleigh_bits_insert_256_64(z5_21, (uint64_t)0U, 192U);
                        z6_22 = r2sleigh_bits_insert_256_64(z6_25, (uint64_t)0U, 192U);
                    } while ((uint8_t)((uint64_t)tmp_100000aec_8_1 != (uint64_t)0U));
                    {
                        x8_12 = (uint64_t)((uint64_t)tmp_lane_100000adc_1_2_1 + (uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)((uint64_t)tmp_lane_100000ae8_0_2_1 + (uint64_t)tmp_lane_100000ae0_0_2_1) + (uint64_t)tmp_lane_100000ae8_1_2_1) + (uint64_t)tmp_lane_100000ae0_1_2_1) + (uint64_t)tmp_lane_100000ae4_0_2_1) + (uint64_t)tmp_lane_100000adc_0_2_1) + (uint64_t)tmp_lane_100000ae4_1_2_1));
                        if ((uint8_t)((uint64_t)((uint64_t)arg1 & (uint64_t)-0x8) == (uint64_t)arg1)) {
                            x8_16 = x8_12;
                            return (uint64_t)x8_16;
                        } else {
                            x8_13 = x8_12;
                            x9_6 = (uint64_t)((uint64_t)arg1 & (uint64_t)-0x8);
                        }
                    }
                }
            } else {
                x8_13 = 0;
                x9_6 = 0;
            }
            {
L3: ;
                x10_9 = (uint64_t)((uint64_t)arg1 - (uint64_t)x9_6);
                x8_14 = x8_13;
                x9_8 = (uint64_t)((uint64_t)arg0 + (uint64_t)x9_6);
                for (; ; ) {
                    tmp_100000b18_8_1 = r2sleigh_load_u8((void*)x9_8);
                    x11_2 = (uint64_t)(uint8_t)tmp_100000b18_8_1;
                    x8_15 = (uint8_t)((uint32_t)((uint8_t)((uint32_t)((uint64_t)x11_2 >> 0U) == (uint32_t)arg2) ? (uint8_t)1U : (uint8_t)((uint32_t)((uint64_t)x11_2 >> 0U) == (uint32_t)arg3)) ^ (uint32_t)(uint8_t)1U) ? (uint64_t)x8_14 : (uint64_t)((uint64_t)x8_14 + (uint64_t)1U);
                    tmp_100000b28_8_1 = (uint64_t)((uint64_t)x10_9 - (uint64_t)1U);
                    if ((uint8_t)((uint64_t)tmp_100000b28_8_1 != (uint64_t)0U)) {
                        x10_9 = tmp_100000b28_8_1;
                        x8_14 = x8_15;
                        x9_8 = (uint64_t)((uint64_t)x9_8 + (uint64_t)1U);
                    } else {
                        x8_16 = x8_15;
                        break;
                    }
                }
            }
            {
                return (uint64_t)x8_16;
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN

NAME=0x100000b4c
FILE=tests/fixtures/manual_limits_O2
CMDS=aa; pdd @ 0x100000b4c
EXPECT=<<EOF
struct r2sleigh_bits_256 {
    uint8_t bytes[32];
};

static inline __uint128_t r2sleigh_bits_extract_256_128(struct r2sleigh_bits_256 carrier, uint64_t at)
{
    __uint128_t field = 0;
    for (uint32_t bit = 0; bit < 128u; ++bit) {
        const uint64_t from = at + bit;
        if (from < 256u && ((carrier.bytes[from / 8] >> (from % 8)) & 1) != 0) {
            field = (__uint128_t)(field | ((__uint128_t)1 << bit));
        }
    }
    return field;
}

static inline struct r2sleigh_bits_256 r2sleigh_bits_insert_256_64(struct r2sleigh_bits_256 carrier, uint64_t field, uint64_t at)
{
    for (uint32_t bit = 0; bit < 64u; ++bit) {
        const uint64_t to = at + bit;
        if (to < 256u) {
            const unsigned mask = 1u << (to % 8);
            if (((field >> bit) & 1) != 0) {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] | mask);
            } else {
                carrier.bytes[to / 8] = (uint8_t)(carrier.bytes[to / 8] & ~mask);
            }
        }
    }
    return carrier;
}

static inline struct r2sleigh_bits_256 r2sleigh_bits_zero_extend_64_256(uint64_t field)
{
    struct r2sleigh_bits_256 carrier = {{0}};
    for (uint32_t bit = 0; bit < 64u; ++bit) {
        if (((field >> bit) & 1) != 0) {
            carrier.bytes[bit / 8] = (uint8_t)(carrier.bytes[bit / 8] | (1u << (bit % 8)));
        }
    }
    return carrier;
}

uint64_t _main(uint64_t arg0, uint64_t* arg1)
{
    uint64_t _fnv_fold(uint64_t, uint64_t);
    uint64_t _mem_scan2(uint64_t, uint64_t, uint32_t, uint32_t);
    uint64_t _out_param_parse(uint64_t, uint64_t);
    uint64_t _sparse_switch(uint32_t, uint32_t, uint32_t);
    uint64_t _state_machine(uint64_t);
    uint32_t _struct_nested_array(uint64_t, uint32_t, uint32_t);
    uint32_t _table_walk(uint64_t, uint64_t);
    extern char _manual_sink[];

    __uint128_t tmp_lane_100000b70_5_0_1;
    __uint128_t tmp_lane_100000b80_5_0_1;
    struct r2sleigh_bits_256 z0_10;
    struct r2sleigh_bits_256 z0_11;
    __uint128_t tmp_lane_100000b8c_1_0_1;
    uint64_t x0_2;
    uint32_t tmp_100000bb4_8_1;
    uint64_t x0_3;
    uint64_t x0_6;
    uint64_t x0_7;
    uint32_t tmp_100000be0_8_1;
    uint64_t x0_10;
    uint32_t tmp_100000bfc_8_1;
    uint32_t tmp_100000c08_8_1;
    uint32_t tmp_100000c0c_8_1;
    uint64_t x2_2;
    uint64_t x0_12;
    uint32_t tmp_100000c18_8_1;
    uint64_t x1_6;
    uint64_t x1_9;
    uint64_t x0_14;
    uint32_t tmp_100000c44_8_1;
    uint64_t x0_15;
    uint64_t x0_18;
    uint64_t x0_19;
    uint32_t tmp_100000c6c_8_1;
    uint64_t x0_22;
    uint32_t tmp_100000c90_8_1;
    uint32_t tmp_100000c9c_8_1;
    _Alignas(16) uint8_t frame[160];

    /* r2dec proof: no individual construct is marked; 175 source obligations: 155 rendered, 20 elided, 0 refused; 51 statements rendered; 1 data object type refused */
    {
        tmp_lane_100000b70_5_0_1 = r2sleigh_load_u128((void*)(uint64_t)0x100004030U);
        r2sleigh_store_u128((void*)(uint64_t)((uint64_t)(frame + 0U) + (uint64_t)64U), (__uint128_t)r2sleigh_load_u128((void*)(uint64_t)0x100004020U));
        r2sleigh_store_u128((void*)(uint64_t)((uint64_t)(frame + 0U) + (uint64_t)80U), (__uint128_t)tmp_lane_100000b70_5_0_1);
        r2sleigh_store_u128((void*)(uint64_t)((uint64_t)(frame + 0U) + (uint64_t)96U), (__uint128_t)r2sleigh_load_u128((void*)(uint64_t)0x100004040U));
        tmp_lane_100000b80_5_0_1 = r2sleigh_load_u128((void*)(uint64_t)0x100004010U);
        r2sleigh_store_u128((void*)(uint64_t)((uint64_t)(frame + 0U) + (uint64_t)32U), (__uint128_t)r2sleigh_load_u128((void*)(uint64_t)0x100004000U));
        r2sleigh_store_u128((void*)(uint64_t)((uint64_t)(frame + 0U) + (uint64_t)48U), (__uint128_t)tmp_lane_100000b80_5_0_1);
        z0_10 = r2sleigh_bits_insert_256_64(r2sleigh_bits_zero_extend_64_256((uint64_t)0U), (uint64_t)0U, 0U);
        z0_11 = r2sleigh_bits_insert_256_64(z0_10, (uint64_t)0U, 64U);
        tmp_lane_100000b8c_1_0_1 = r2sleigh_bits_extract_256_128(z0_11, 0U);
        r2sleigh_store_u128((void*)(uint64_t)(frame + 0U), (__uint128_t)tmp_lane_100000b8c_1_0_1);
        r2sleigh_store_u128((void*)(uint64_t)((uint64_t)(frame + 0U) + (uint64_t)16U), (__uint128_t)tmp_lane_100000b8c_1_0_1);
        r2sleigh_store_u64((void*)((uint64_t)(frame + 0U) + (uint64_t)64U), (uint64_t)((uint64_t)(frame + 0U) + (uint64_t)72U));
        x0_2 = (uint64_t)_struct_nested_array((uint64_t)((uint64_t)(frame + 0U) + (uint64_t)32U), (uint32_t)((uint32_t)((uint64_t)arg0 >> 0U) & (uint32_t)1U), (uint32_t)arg0);
        tmp_100000bb4_8_1 = r2sleigh_load_u32((void*)&_manual_sink);
        r2sleigh_store_u32((void*)&_manual_sink, (uint32_t)((uint32_t)((uint64_t)x0_2 >> 0U) + (uint32_t)tmp_100000bb4_8_1));
        if ((uint8_t)((int32_t)((uint64_t)arg0 >> 0U) < (int32_t)2U)) {
            x0_6 = (uint64_t)0x100000cc4U;
        } else {
            x0_3 = r2sleigh_load_u64((void*)((uint64_t)arg1 + (uint64_t)1U * 8U));
            x0_6 = x0_3;
        }
        {
            x0_7 = _out_param_parse(x0_6, (uint64_t)(frame + 0U));
            tmp_100000be0_8_1 = r2sleigh_load_u32((void*)&_manual_sink);
            r2sleigh_store_u32((void*)&_manual_sink, (uint32_t)((uint32_t)((uint64_t)x0_7 >> 0U) + (uint32_t)tmp_100000be0_8_1));
            x0_10 = _fnv_fold((uint64_t)0x100000cc8U, 3);
            tmp_100000bfc_8_1 = r2sleigh_load_u32((void*)&_manual_sink);
            r2sleigh_store_u32((void*)&_manual_sink, (uint32_t)((uint32_t)((uint64_t)x0_10 >> 0U) + (uint32_t)tmp_100000bfc_8_1));
            tmp_100000c08_8_1 = r2sleigh_load_u32((void*)&_manual_sink);
            tmp_100000c0c_8_1 = r2sleigh_load_u32((void*)((uint64_t)(frame + 0U) + (uint64_t)24U));
            x2_2 = (uint64_t)(uint32_t)tmp_100000c0c_8_1;
            x0_12 = _sparse_switch((uint32_t)arg0, (uint32_t)tmp_100000c08_8_1, (uint32_t)x2_2);
            tmp_100000c18_8_1 = r2sleigh_load_u32((void*)&_manual_sink);
            r2sleigh_store_u32((void*)&_manual_sink, (uint32_t)((uint32_t)((uint64_t)x0_12 >> 0U) + (uint32_t)tmp_100000c18_8_1));
            if ((uint8_t)((int32_t)((uint64_t)arg0 >> 0U) <= (int32_t)2U)) {
                x1_9 = (uint64_t)0x100000cc0U;
            } else {
                x1_6 = r2sleigh_load_u64((void*)((uint64_t)arg1 + (uint64_t)2U * 8U));
                x1_9 = x1_6;
            }
            {
                x0_14 = (uint64_t)_table_walk((uint64_t)((uint64_t)(frame + 0U) + (uint64_t)32U), x1_9);
                tmp_100000c44_8_1 = r2sleigh_load_u32((void*)&_manual_sink);
                r2sleigh_store_u32((void*)&_manual_sink, (uint32_t)((uint32_t)((uint64_t)x0_14 >> 0U) + (uint32_t)tmp_100000c44_8_1));
                if ((uint8_t)((int32_t)((uint64_t)arg0 >> 0U) < (int32_t)4U)) {
                    x0_18 = (uint64_t)0x100000cccU;
                } else {
                    x0_15 = r2sleigh_load_u64((void*)((uint64_t)arg1 + (uint64_t)3U * 8U));
                    x0_18 = x0_15;
                }
                {
                    x0_19 = _state_machine(x0_18);
                    tmp_100000c6c_8_1 = r2sleigh_load_u32((void*)&_manual_sink);
                    r2sleigh_store_u32((void*)&_manual_sink, (uint32_t)((uint32_t)((uint64_t)x0_19 >> 0U) + (uint32_t)tmp_100000c6c_8_1));
                    x0_22 = _mem_scan2((uint64_t)0x100000cd3U, 6, 97, 122);
                    tmp_100000c90_8_1 = r2sleigh_load_u32((void*)&_manual_sink);
                    r2sleigh_store_u32((void*)&_manual_sink, (uint32_t)((uint32_t)((uint64_t)x0_22 >> 0U) + (uint32_t)tmp_100000c90_8_1));
                    tmp_100000c9c_8_1 = r2sleigh_load_u32((void*)&_manual_sink);
                    return (uint64_t)(uint8_t)((uint32_t)tmp_100000c9c_8_1 == (uint32_t)0U);
                }
            }
        }
    }
}

EOF
EXPECT_ERR=<<EOF
EOF
RUN
