Updated header with definition of shift_right.