diff --git a/examples/hello.c b/examples/hello.c
index 3aa9469f4..6436c2881 100644
--- a/examples/hello.c
+++ b/examples/hello.c
@@ -7,3 +7,9 @@
  * of patent rights can be found in the PATENTS file in the same directory.
  */
 
+#include <stdlib.h>
+
+void test() {
+  int *s = NULL;
+  *s = 42;
+}