bitwise right shift operator in c