spurious include suppressed in shift_right