void foo(int a, int b, int c) {
   char buffer1[6] = "abcde";
   char buffer2[10] = "123456789";
}

void main() {
  foo(1,2,3);
}