#include <stdio.h>

int x = 2;

int foo(int y) const
{
  return 3 + y;
}

int main()
{
  extern const int x;
  printf("%d\n", foo(x));
  return 0;
}