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

void case1(void){
  char s1[14] = "Aalborg";
  char s2[14] = " Uni";
  
  strcpy(s1, s2);
  printf("%s: %i chars\n", s1, strlen(s1));   
}

void case2(void){
  char s1[4];
  char s2[14] = " University";
  
  strcpy(s1, s2);                  /* Insufficient space in s1. Very problematic */
  printf("%s: %i chars\n", s1, strlen(s1));  
}

int main(void) {
  case1();
  case2();
  return 0;
}