Index: libcfa/prelude/builtins.c
===================================================================
--- libcfa/prelude/builtins.c	(revision 90152a4860529aff7214be01cd22abd37012cd19)
+++ libcfa/prelude/builtins.c	(revision e5ea867f74eefbaecafb0b5081b7a0a3ed60d64f)
@@ -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);
+	}
 }