diff --git a/tests/exc.c b/tests/exc.c
index 5e5530dc..32f896b2 100644
--- a/tests/exc.c
+++ b/tests/exc.c
@@ -61,6 +61,7 @@ b (void *addr)
 {
   printf ("b() calling raise_exception()\n");
   raise_exception (addr);
+  printf ("b(): back from raise_exception!!\n");
 }
 
 static int