(pl.) of Quarry-man