#include <stdio.h>

int x = 12; void foo(int);


int main() { foo(12); }

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