Червячник — то же, что гулявник (см.). Источник: Энциклопедический словарь Ф. А. Брокгауза и И. А. Ефрона 1993-2003г.
