diff --git a/examples/120-interp-variadic-any.sx b/examples/120-interp-variadic-any.sx
index ad4c70d..0940196 100644
--- a/examples/120-interp-variadic-any.sx
+++ b/examples/120-interp-variadic-any.sx
@@ -1,6 +1,6 @@
 // IR interpreter — variadic `..Any` indexing inside post-link callback.
 //
-// `format(fmt, args: ..Any)` lowers to `any_to_string(args[i])` calls.
+// `format(fmt, ..args: []Any)` lowers to `any_to_string(args[i])` calls.
 // The interpreter must be able to read every element of the packed
 // `[N x Any]` slice from within a `#run`/post-link callback, not just
 // the first two — and not just via JIT.
diff --git a/examples/19-varargs.sx b/examples/19-varargs.sx
index d92e244..9bdecb4 100644
--- a/examples/19-varargs.sx
+++ b/examples/19-varargs.sx
@@ -1,6 +1,6 @@
 #import "modules/std.sx";
 
-sum :: (args: ..s32) -> s32 {
+sum :: (..args: []s32) -> s32 {
     result := 0;
     for args: (it) {
         result = result + it;
@@ -8,7 +8,7 @@ sum :: (args: ..s32) -> s32 {
     result;
 }
 
-print_all :: (args: ..s32) {
+print_all :: (..args: []s32) {
     for args: (it) {
         out(int_to_string(it));
         out(" ");
diff --git a/examples/20-any-varargs.sx b/examples/20-any-varargs.sx
index dd6ac35..7a49736 100644
--- a/examples/20-any-varargs.sx
+++ b/examples/20-any-varargs.sx
@@ -6,7 +6,7 @@ Point :: struct {
 }
 
 // Print all arguments — accepts any type, dispatches via type-switch
-print_any :: (args: ..Any) {
+print_any :: (..args: []Any) {
     for args: (it) {
         type := type_of(it);
         if type == {
@@ -28,7 +28,7 @@ print_any :: (args: ..Any) {
     out("\n");
 }
 
-count :: (args: ..Any) -> s32 {
+count :: (..args: []Any) -> s32 {
     args.len;
 }
 
diff --git a/examples/50-smoke.sx b/examples/50-smoke.sx
index cfdb3da..cf455ea 100644
--- a/examples/50-smoke.sx
+++ b/examples/50-smoke.sx
@@ -63,7 +63,7 @@ pair_add :: (a: $T, b: $U) -> s64 {
     cast(s64) a + cast(s64) b;
 }
 
-typed_sum :: (args: ..s32) -> s32 {
+typed_sum :: (..args: []s32) -> s32 {
     result := 0;
     for args: (it) { result = result + it; }
     result;
diff --git a/examples/ffi-foreign-cvariadic.sx b/examples/ffi-foreign-cvariadic.sx
index c9a765c..0333de8 100644
--- a/examples/ffi-foreign-cvariadic.sx
+++ b/examples/ffi-foreign-cvariadic.sx
@@ -1,4 +1,4 @@
-// `#foreign` C-variadic tail: trailing `args: ..T` on a foreign fn maps
+// `#foreign` C-variadic tail: trailing `..args: []T` on a foreign fn maps
 // to the C calling convention's `...`. Extras at the call site are
 // passed via the variadic slot with the standard default argument
 // promotion (s8/s16/bool → s32, f32 → f64) applied implicitly.
@@ -9,9 +9,9 @@
     #source "ffi-foreign-cvariadic.c";
 };
 
-sx_ffi_sum_ints     :: (n: s32, args: ..s32) -> s64 #foreign;
-sx_ffi_avg_doubles  :: (n: s32, args: ..f64) -> f64 #foreign;
-sx_ffi_count_args   :: (tag: *u8, args: ..*u8) -> s32 #foreign;
+sx_ffi_sum_ints     :: (n: s32, ..args: []s32) -> s64 #foreign;
+sx_ffi_avg_doubles  :: (n: s32, ..args: []f64) -> f64 #foreign;
+sx_ffi_count_args   :: (tag: *u8, ..args: []*u8) -> s32 #foreign;
 
 main :: () -> s32 {
     print("sum_ints(3, 10, 20, 30) = {}\n", sx_ffi_sum_ints(3, 10, 20, 30));
diff --git a/library/modules/fs.sx b/library/modules/fs.sx
index 3aae877..8312a5f 100644
--- a/library/modules/fs.sx
+++ b/library/modules/fs.sx
@@ -24,11 +24,11 @@ libc :: #library "c";
 // API below wraps them. Users should not call these directly.
 //
 // macOS `open` is variadic in C (`int open(const char*, int, ...)`);
-// declared with `args: ..s32` so the mode is passed via the C
+// declared with `..args: []s32` so the mode is passed via the C
 // variadic tail. Without that, the mode arg goes to the wrong
 // register on arm64 and the file ends up with mode 0.
 
-open   :: (path: [:0]u8, flags: s32, args: ..s32) -> s32 #foreign libc;
+open   :: (path: [:0]u8, flags: s32, ..args: []s32) -> s32 #foreign libc;
 close  :: (fd: s32) -> s32 #foreign libc;
 read   :: (fd: s32, buf: [*]u8, count: usize) -> isize #foreign libc;
 write  :: (fd: s32, buf: [*]u8, count: usize) -> isize #foreign libc;
diff --git a/library/modules/std.sx b/library/modules/std.sx
index 264c731..4a0a08b 100644
--- a/library/modules/std.sx
+++ b/library/modules/std.sx
@@ -384,12 +384,12 @@ build_format :: (fmt: string) -> string {
     code;
 }
 
-format :: ($fmt: string, args: ..Any) -> string {
+format :: ($fmt: string, ..args: []Any) -> string {
     #insert build_format(fmt);
     #insert "result;";
 }
 
-print :: ($fmt: string, args: ..Any) {
+print :: ($fmt: string, ..args: []Any) {
     #insert build_format(fmt);
     #insert "out(result);";
 }