diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index 50a4fa1..5938adf 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -249,8 +249,7 @@ DEEPSTATE_INLINE static void DeepState_Assert(int expr) {
 
 /* Used to make DeepState really crash for fuzzers, on any platform. */
 DEEPSTATE_INLINE static void DeepState_HardCrash() {
-  char *p = 0;
-  (*p) = 0;
+  raise(SIGABRT);
 }
 
 /* Asserts that `expr` must hold. If it does not, then the test fails, but