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


void foo(int);

extern int y ;

int main(int argc, char* argv[]){
  printf("%d\n", 12+2);

	int x = 3;

  foo(3);
  foo(y);

}