#include <stdlib.h>
#include <stdio.h>

void inc(int);

int main(void) {
  int x = 10;
  inc(x);

  printf("%d\n", x);

  return EXIT_SUCCESS;
}

void inc(int x) {
  x++;
}