// segmentation-fault

#include <stdio.h>

int main() {
    int *ptr = (void *)0; // NULL;
  *ptr = 42;
  return 0;
}