Function var_srl_bytes 

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

Variable-amount logical right shift by whole bytes.

Returns x >> (shift * 8). The low 3 bits of shift are the byte count (range 0..8).