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