what do you call a person who crushes rocks