4 int main(int argc, const char *argv[]) {
6 printf("Hello, fault!\n");
7 u_int32_t val = (arc4random() & 0x0f);
8 printf("val=%u\n", val);
9 if (val == 0x07) // Lucky 7 :-)
10 printf("Now segfault %d\n", *null_ptr);
12 printf("Better luck next time!\n");