(Of pain) pricking or prickling