I've seen them lift a pencil and press it to a piece of paper. Lift and press, lift and press. Sometimes for minutes at a time.
Occasionally, they'll change out to a pen, probably for the weight difference.

Also, they push the buttons on their keyboards in a semi-random pattern, which I've heard is good for brain-training. Sort of like broken-field running, but mental.