FIX #2376: inline shiftR