Function funnel_shift_right 

pub fn funnel_shift_right(lo: u32, hi: u32, shift: u32) -> u32

Funnel shift right. Transpiles to: __funnelshift_r(lo, hi, shift)