char *cadenafinal, *aux;
/* Reservamos el espacio */
/* Copiamos cadena1 al cadenafinal, incluído del byte NULL */
/* Para no modificar cadenafinal */
aux = cadenafinal;
/* Apuntamos al byte NULL del final de cadena1 en cadenafinal */
/* Copiamos la segunda cadena, con byte NULL al final */
/*Ya tenemos la concatenación de cadena1 + cadena2 en cadenafinal */