#include <stdio.h>



int main(int argc, char **argv) {

  int *p = NULL;

  *p = 1;  // causes a segmentation fault

  return EXIT_SUCCESS;

}