dehuf3.c : strcat