// segmentation-fault
#include <stdio.h>
int main() {
int *ptr = (void *)0; // NULL;
*ptr = 42;
return 0;
}