Jackhammer: A heavy-duty pneumatic or electrical tool utilized for separating concrete, rock, or other hard surfaces
https://escatter11.fullerton.edu/nfs/show_user.php?userid=5858574
Jackhammer: A heavy-duty pneumatic or electric tool utilized for breaking up concrete, rock, or other tough surfaces