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 12bc63ab6d1bb10cdf0105eb5df31eab3153a60b)
@@ -35,4 +35,6 @@
 	}
 
+	check(is_valid( &ll0.internal ));
+
 	return ll0;
 }