石工は職業の一種である．