GRAVEL, in medicine. See the Index subjoined to that article.