#include <stdlib.h>
  #include <stdio.h>
  void f(void)
  {
      int* x = (int*)malloc(10 * sizeof(int));
      x[9] = 2;
  } // problem: memory leak -- x not freed
  int main(int argc, char * argv[])
  {
      f();
      printf("GOOD END 
  ");
      return 0;
  }