Index: libcfa/prelude/builtins.c
===================================================================
--- libcfa/prelude/builtins.c	(revision 90152a4860529aff7214be01cd22abd37012cd19)
+++ libcfa/prelude/builtins.c	(revision d5916ce34e5508e6ffe903e16992dee102292838)
@@ -121,5 +121,7 @@
 forall(dtype T)
 static inline void ^?{}(__Destructor(T) & x) {
-  x.dtor(x.object);
+	if (x.object && x.dtor) {
+	  x.dtor(x.object);
+	}
 }