Tool makers' buttons are used for