Function bit_msb01 

pub fn bit_msb01(b: &CircuitBuilder, x: Wire, i: u32) -> Wire

Extracts bit i from x as an MSB-bool (true = bit63 set, false = 0).

Returns ((x >> i) & 1) << 63.