diff --git a/tests/Makefile b/tests/Makefile
index add6fc6a..c5a258e8 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -83,7 +83,7 @@ checkfail: fail-no-oplist
 
 # TODO: should grep failure message?
 fail-no-oplist:
-	for i in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 ; do \
+	for i in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 ; do \
 	if $(CC) $(CFLAGS) $(CPPFLAGS) -g -c fail-no-oplist.c -o tmp.o -DTEST=$$i 2> fail-no-oplist-$$i.log ; then echo fail-no-oplist-$$i : ERROR; false; else echo fail-no-oplist-$$i : OK ; fi \
 	done
 
diff --git a/tests/fail-no-oplist.c b/tests/fail-no-oplist.c
index 3b8f6a03..538eed16 100644
--- a/tests/fail-no-oplist.c
+++ b/tests/fail-no-oplist.c
@@ -282,6 +282,47 @@ SNAPSHOT_SPMC_DEF(snap, int, M_DEFAULT_OPLIST2 )
 
 SNAPSHOT_MPMC_DEF(snap, int, M_DEFAULT_OPLIST8 )
 
+#elif TEST == 39
+
+#include "m-tuple.h"
+
+TUPLE_DEF2(agregate, (x, int, M_DEFAULT_OPLIST), (y, float, DEFAULT_OPLIST) )
+
+#elif TEST == 40
+
+#include "m-tuple.h"
+
+TUPLE_DEF2(agregate, (x, int, DEFAULT_OPLIST), (y, float) )
+
+#elif TEST == 41
+
+#include "m-variant.h"
+
+VARIANT_DEF2(agregate, (x, int, M_DEFAULT_OPLIST), (y, float, DEFAULT_OPLIST) )
+
+#elif TEST == 42
+
+#include "m-variant.h"
+
+VARIANT_DEF2(agregate, (x, int, DEFAULT_OPLIST), (y, float) )
+
+#elif TEST == 43
+
+#include "m-funcobj.h"
+
+FUNC_OBJ_ITF_DEF(itf, int, int)
+
+FUNC_OBJ_INS_DEF(ins, itf, (x), { return x * self->a + self->b; }, (a, int, DEFAULT_OPLIST), (b, int, M_DEFAULT_OPLIST))
+
+#elif TEST == 44
+
+#include "m-funcobj.h"
+
+FUNC_OBJ_ITF_DEF(itf, int, int)
+
+FUNC_OBJ_INS_DEF(ins, itf, (x), { return x * self->a + self->b; }, (a, int), (b, int, M_DEFAULT_OPLIST() ))
+
+
 #else
 # warning TEST variable is out of range.
 #endif