diff -r 5cadcc5aee02 -r b62c0002c735 progs/fun/fun.sc
--- a/progs/fun/fun.sc	Wed Nov 19 16:37:32 2025 +0000
+++ b/progs/fun/fun.sc	Wed Nov 19 18:15:38 2025 +0000
@@ -75,9 +75,9 @@
 
 // convenience for code-generation (string interpolations)
 extension (sc: StringContext) {
-  def i(args: Any*): String = "   " ++ sc.s(args:_*) ++ "\n"  // instructions
-  def l(args: Any*): String = sc.s(args:_*) ++ ":\n"          // labels
-  def m(args: Any*): String = sc.s(args:_*) ++ "\n"           // methods
+  def i(args: Any*): String = "   " ++ sc.s(args*) ++ "\n"  // instructions
+  def l(args: Any*): String = sc.s(args*) ++ ":\n"          // labels
+  def m(args: Any*): String = sc.s(args*) ++ "\n"           // methods
 }
 
 // variable / index environments