What is a long drilling tool used by masons and quarrymen called?

jumper — A long drilling tool used by masons and quarrymen. (Webster's 1913.)

Sources