#include <stdio.h>

extern int f(int);

int x = 3;

int main(void)
{
   x++;
   printf("%d %d\n", x, f(x));
   return 0;
}