Значение слова КРАВЧИК в Большой советской энциклопедии, БСЭ

Что такое КРАВЧИК

жук семейства пластинчатоусых; то же, что головач .

Большая советская энциклопедия, БСЭ.