Function init_rot64 

fn init_rot64<F: PrimeField>(
    witness: &mut [Vec<F>; 15],
    curr_row: usize,
    word: F,
    rotated: F,
    excess: F,
    shifted: F,
    bound: F,
)