Ива'нов червячо'к, насекомое семейства мягкотелок отряда жуков; то же, что светляк .