Index: src/examples/gc_no_raii/test/badlll.c
===================================================================
--- src/examples/gc_no_raii/test/badlll.c	(revision 76af36f4a9e47a83d4e2a30ce79b4fda2dd395e7)
+++ src/examples/gc_no_raii/test/badlll.c	(revision aa8f9dfd89cb8d2df9f8a3892703dfc427bce64a)
@@ -35,4 +35,6 @@
 	}
 
+	check(is_valid( &ll0.internal ));
+
 	return ll0;
 }