#include <stdio.h>

extern int f  (int x);

int i = 2;
char format[] = "f (%d) = %d\n";

int main (int argc, char const *argv[]) {
  int j;
  j = f (i);
  printf (format, i, j);
  return 0;
}