TABS
(unsigned char *)"shiftwidth", (unsigned char *)"sw", NUMERIC, TABS, TABS, 0,
(unsigned char *)"tabstop", (unsigned char *)"ts", NUMERIC, TABS, TABS, 0,
value(vi_TABSTOP) = TABS;
#ifndef TABS
printf("%s%s", spec, TABS(*tabs++));
printf("%s", TABS(*tabs++));
printf("%s", TABS(*tabs++));
printf("%s%s", TABS(*tabs++), msg);