/in/foo.cc: In function 'int main()':
/in/foo.cc:15:30: warning: format '%s' expects argument of type 'char*', but argument 2 has type 'char (*)[4001]' [-Wformat=]
  scanf("%s%s%d", &s1, &s2, &k);
                              ^
/in/foo.cc:15:30: warning: format '%s' expects argument of type 'char*', but argument 3 has type 'char (*)[4001]' [-Wformat=]