Muslims on the annual haj pilgrimage symbolically stone the devil in one of the main rituals of the occasion.
