1 files changed, 12 insertions, 0 deletions
diff --git a/test_apps b/test_apps
index 1067f518..52cceeb7 100755
--- a/test_apps
+++ b/test_apps
@@ -167,6 +167,18 @@ test "$1" = 'record'  || git diff --exit-code apps/ex12
 test $EMULATED  &&  ./bootstrap run apps/ex12  # final byte of mmap'd address is well-nigh guaranteed to be 0
 test $NATIVE  &&  apps/ex12
 
+echo ex13
+./bootstrap translate init.$OS apps/ex13.subx  -o apps/ex13
+test "$1" = 'record'  ||  git diff --exit-code apps/ex13
+test $EMULATED  &&  {
+  ./bootstrap run apps/ex13  ||  ret=$?
+  test $ret -eq 1  # 3 == 3
+}
+test $NATIVE  &&  {
+  apps/ex13  ||  ret=$?
+  test $ret -eq 1  # 3 == 3
+}
+
 # Larger apps that use the standard library.
 
 echo factorial