TIC_EXPAND
"'%.*s'", MAX_STRING - 3, TIC_EXPAND(val));
(void) printf("\t%s= '%s'.\n", name, TIC_EXPAND(s1));
fputs(TIC_EXPAND(buf2), stdout);