Index: doc/working/exception/impl/test-main.c
===================================================================
--- doc/working/exception/impl/test-main.c	(revision c529a2401708d5302e11e1dbc16486d61c0b73e9)
+++ doc/working/exception/impl/test-main.c	(revision e1055441d7a7018b263558a0295598546ad78ebc)
@@ -142,5 +142,5 @@
 
 // Finally Test:
-void farewell() {
+void farewell(bool jump) {
 	{
 		void farewell_finally1() {
@@ -150,7 +150,14 @@
 			__attribute__((cleanup(farewell_finally1)));
 		{
-			printf("walk out of farewell\n");
-		}
-	}
+			if (jump) {
+				printf("jump out of farewell\n");
+				goto endoffunction;
+			} else {
+				printf("walk out of farewell\n");
+			}
+		}
+	}
+	endoffunction:
+	printf("leaving farewell\n");
 }
 
@@ -460,5 +467,6 @@
 	foo(); printf("\n");
 	alpha(); printf("\n");
-	farewell(); printf("\n");
+	farewell(false); printf("\n");
+	farewell(true); printf("\n");
 	fallback(); printf("\n");
 	terminate_swapped(); printf("\n");