#include <stdio.h>

int x = 12;

void foo(int);

int main()
{
  foo(12);
}

int foo(int x)
{
  printf("x\n");
}