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

void foo(const char* input)
{
  char buf[8] = "hello123";
  strcpy(buf, input);
}


void bar(void)
{
  printf("In bar()");
}


int main(int argc, char* argv[])
{
  foo("12345678901234567890");

  return 0;
}