#include <stdio.h>

int f(int);

main()
{
  printf("%d\n",f(4));
}