HtifOutChar
void HtifOutChar(char ch);
for (; *str != '\0'; str++) HtifOutChar(*str);
for (; len > 0; str++, len--) HtifOutChar(*str);
HtifOutChar(*str);
HtifOutChar(*str);
HtifOutChar(c);