strcat(str, code); 
strncat(str, code, sizeof(str) - strlen(str) - 1); str[sizeof(str)-1] = '\0'; 
static void mac_wrd_doESC(const char* code ){	char	str[20]="\33[";	strcat(str, code);	mac_wrd_DrawText(str, strlen(str));}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/361cc5df1e14516b0a3eef7766539860da9a9721/wrdt_mac.c/buggy/interface/wrdt_mac.c