Way back, working for the 2010 Census, I had an ex-Navy coworker who did something like that: whenever he was bored in the office, he would do a couple of push-ups before looking for new work to do.