#include <stdio.h>
#include <string.h>

int main(void) {

  char s[25] = "Aalborg";  
  char t[] = "University";
  char *res;

  res = strcat(strcat(s," "),t);
  printf("%s: %i chars\n", res, strlen(s));
  
  return 0;
}