// This is the CORRECTED version of bad_increment.cpp

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

void increment_number(int * x)
{
  *x = *x + 1;
}



int main()
{
  int a = 10;
  increment_number(&a);
  printf("a = %d\n", a);
}