pub fn select<F: AbstractField>( mult1: u32, mult2: u32, bit: u32, out1: u32, out2: u32, in1: u32, in2: u32, ) -> Instruction<F>