#include <stdio.h>

void inc(int);


int main(int argc, char **argv) {
  int x = 10;

  printf("before: x = %d\n", x);
  inc(x);
  printf("after: x = %d\n", x);

  return 0;
}

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