#include <stdio.h>

int

foo (int x)

{

  puts ("foo");

  return x * 2;

}