Updated header file with shift_left definition.