int foo (int a) {
  return a + 1;
}