--- a/progs/while/compile.sc	Sat Nov 01 04:59:23 2025 +0000
+++ b/progs/while/compile.sc	Sat Nov 08 09:51:49 2025 +0000
@@ -80,8 +80,8 @@
 // for instructions and labels
 
 extension (sc: StringContext) {
-    def i(args: Any*): String = "   " ++ sc.s(args:_*) ++ "\n"
-    def l(args: Any*): String = sc.s(args:_*) ++ ":\n"
+    def i(args: Any*): String = "   " ++ sc.s(args*) ++ "\n"
+    def l(args: Any*): String = sc.s(args*) ++ ":\n"
 }
 
 // this allows us to write things like