# or for a more complex case
        loaded_value_553648388 = loaded_value_553648388 shr 8
        let mixer_result_553648389 = (loaded_value_553648388 xor
loaded_value_553648388 shl
            2'u64) shr
            27'u64 and
            63'u64
        let pilot_553648390 = pilots_6_553648351[int(mixer_result_553648389)]
        let g_553648391 = loaded_value_553648388 xor loaded_value_553648388 shr
34
        let slot_553648392 = g_553648391 + uint64(pilot_553648390) and 511'u64