digging in a rock quarry