I had never seen this before. A piece of metal dust had lodged in his eye. It was removed, using a pencil lead. Evidently the graphite in the pencil lead serves as a lubricant to flush out foreign substances from the eye.