--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cw5_marking/c5.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 / "sqr.fun")
+
+test_string(mand, "sqr")
+