diff -r 1e6eca42d90b -r 8778d23fef92 cw5_marking/c3.sc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cw5_marking/c3.sc	Mon Feb 03 12:34:38 2025 +0000
@@ -0,0 +1,9 @@
+// for testing compilation
+
+import $file.cw051_add
+import cw051_add._
+
+val mand = os.read(os.pwd / "mand.fun")
+
+test_string(mand, "mand")
+