#include <stdio.h> int foo (int x) { puts ("foo"); return x * 2; }