MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/tests/hard_coded'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/stage2/scripts/mmc --make --options-file - write_binary.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/tests/hard_coded'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/tests/hard_coded'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/stage2/scripts/mmc --make --options-file - write_binary
Making Mercury/int3s/write_binary.int3
Making Mercury/ints/write_binary.int
Making Mercury/css/write_binary.cs
Making write_binary.exe
{ test -f write_binary.inp && cat write_binary.inp; } | ./write_binary > write_binary.out 2>&1 || \
	{ grep . write_binary.out /dev/null; exit 1; }
Comparing write_binary.out with write_binary.exp*,
	results in write_binary.res
** write_binary.out did not match the expected output
** (closest match was write_binary.res1)
--- write_binary.exp	2023-09-17 21:02:32.000000000 +1000
+++ write_binary.out	2024-09-19 15:20:40.379940428 +1000
@@ -1,186 +1,241 @@
 TESTING TERMS WITH OPERATORS
 
 test input <var("X") + int(3) * var("X^2") ; (type)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <{ type }>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <{ '?-' }>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <'?-'>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <{ blah }>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <blah ; (type), (type) * blah ; (type)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <((blah ; blah), blah) * blah ; blah>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <(type) * blah ; (type)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 TESTING DISCRIMINATED UNIONS
 
 test input <one>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <two>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <three>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <apple([9, 5, 1])>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <banana([three, one, two])>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <zop(3.3, 2.03)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <zip(3, 2)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <zap(3, -2.111)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <wombat>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <foo>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 TESTING POLYMORPHISM
 
 test input <poly_one([2399.3])>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <poly_two(3)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <poly_three(3.33, 4, poly_one(9.11))>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 TESTING BUILTINS
 
 test input <>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <Hello, world
 >
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <Foo%sFoo>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <">
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <a>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <&>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <.>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <%>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input < >
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <	>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <
 >
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <\>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <*>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input </>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <3.14159>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
-test input <1.128324983e-21>
-test passed
-
-test input <2.23954899e+23>
-test passed
+test input <1.128324983E-21>
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
+
+test input <2.23954899E+23>
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <-65>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <4>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <651>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <-128>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <127>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <255>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <-32768>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <32767>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <65535>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <-2147483648>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <2147483647>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <4294967295>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 the next test is expected to fail:
 
 test input <'<<predicate>>'>
-test failed with this error:
-orig '<<predicate>>', readback error
-<predicate `io.read'/4: the term read did not have the right type>
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 TESTING OTHER TYPES
 
 test input <var(1)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <var_supply(0)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <var_supply(1)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <empty>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <qwerty(4)>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
 
 test input <array([1, 2, 3, 4])>
-test passed
+test threw this exception:
+io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <0fa3fa343b1649fa80a78b602613ee65>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <0fa3fa343b1649fa80a78b602613ee65>:0 )>>')
make[3]: *** [../Mmake.common:138: write_binary.res] Error 1
make[3]: Target 'write_binary.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-18/tests/hard_coded'