int dec(int x) {
  return x + 1;
}