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