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

int main(int argc, char **argv) {
  int32_t *p = NULL;
  *p = 1;  // causes a segmentation fault
  return EXIT_SUCCESS;
}