Function var_sra_bytes 

pub fn var_sra_bytes(b: &CircuitBuilder, x: Wire, shift: Wire) -> Wire

Variable-amount arithmetic right shift by whole bytes.

Returns x SAR (shift * 8) (sign-extending). The low 3 bits of shift are the byte count (range 0..8).