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");