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

char *concat(const char *s1, const char *s2) {
  char result[strlen(s1) + strlen(s2) + 1];
  strcpy(result, s1); 
  strcat(result, s2); 
  return result; 
}

int main (void) {
  char *res;
  res = concat ("abc", "def");
  printf ("%s\n", res);
  return 0;
}