Дервоколка пенз. древоколка, дрягалка, колотушка палицей, для загонки клиньев. Дервяной, деревянный. Дервца ж. вят. лапотная колодка. Источник: Толковый словарь живого великорусского языка В.И. Даля 1863-1882г.
