nomen-lang 0.3.0 → 0.4.0

package/core/System/Console.nm

@@ -5,7 +5,9 @@ pub struct Console {
 	pub func write = (string line) {
 		```
 		#arch: c
-		printf("%s", line);
+		// Fat-string ABI: strings pass their ptr half. printf %s stops at
+		// the first embedded NUL on both backends (known display limit).
+		printf("%s", line.ptr);
 		```
 		```
 		#arch: aarch64
@@ -25,7 +27,7 @@ pub struct Console {
 	pub func write_line = (string line) {
 		```
 		#arch: c
-		printf("%s\n", line);
+		printf("%s\n", line.ptr);
 		```
 		```
 		#arch: aarch64

package/core/System/Controls/Button.nm

@@ -17,7 +17,7 @@ pub class Button : Control {
 		((void(*)(id, SEL, id))objc_msgSend)(
 			btn, sel_registerName("setTitle:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title));
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title.ptr));
 		id contentView = ((id(*)(id, SEL))objc_msgSend)(
 			(id)window->handle, sel_registerName("contentView"));
 		((void(*)(id, SEL, id))objc_msgSend)(
@@ -53,7 +53,7 @@ pub class Button : Control {
 		((void(*)(id, SEL, unsigned long, id, id))objc_msgSend)(
 			btn, sel_registerName("setTitle:forState:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title),
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title.ptr),
 			0); // UIControlStateNormal = 0
 		id parentView = ((id(*)(id, SEL))objc_msgSend)(
 			((id(*)(id, SEL))objc_msgSend)(
@@ -123,7 +123,7 @@ pub class Button : Control {
 		((void(*)(id, SEL, id))objc_msgSend)(
 			(id)self->handle, sel_registerName("setTitle:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title));
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title.ptr));
 		```
 		```
 		#arch: aarch64_use_c
@@ -139,7 +139,7 @@ pub class Button : Control {
 		((void(*)(id, SEL, unsigned long, id, id))objc_msgSend)(
 			(id)self->handle, sel_registerName("setTitle:forState:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title),
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title.ptr),
 			0); // UIControlStateNormal = 0
 		```
 		```

package/core/System/Controls/CheckBox.nm

@@ -109,7 +109,7 @@ pub class CheckBox : Control {
 		((void(*)(id, SEL, id))objc_msgSend)(
 			(id)self->handle, sel_registerName("setTitle:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title));
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title.ptr));
 		```
 		```
 		#arch: aarch64_use_c

package/core/System/Controls/Text.nm

@@ -100,7 +100,7 @@ pub class Text: Control {
 		((void(*)(id, SEL, id))objc_msgSend)(
 			(id)self->handle, sel_registerName("setStringValue:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), text));
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), text.ptr));
 		```
 		```
 		#arch: aarch64_use_c
@@ -116,7 +116,7 @@ pub class Text: Control {
 		((void(*)(id, SEL, id))objc_msgSend)(
 			(id)self->handle, sel_registerName("setText:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), text));
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), text.ptr));
 		```
 		```
 		#arch: aarch64_use_c

package/core/System/Controls/TextBox.nm

@@ -133,7 +133,7 @@ pub class TextBox : Control {
 		((void(*)(id, SEL, id))objc_msgSend)(
 			(id)self->handle, sel_registerName("setStringValue:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), text));
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), text.ptr));
 		```
 		```
 		#arch: aarch64_use_c
@@ -149,7 +149,7 @@ pub class TextBox : Control {
 		((void(*)(id, SEL, id))objc_msgSend)(
 			(id)self->handle, sel_registerName("setText:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), text));
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), text.ptr));
 		```
 		```
 		#arch: aarch64_use_c
@@ -169,7 +169,7 @@ pub class TextBox : Control {
 			(id)self->handle, sel_registerName("stringValue"));
 		const char *cstr = ((const char*(*)(id, SEL))objc_msgSend)(
 			str, sel_registerName("UTF8String"));
-		return strdup(cstr);
+		return (nomen_string){ strdup(cstr), (long)strlen(cstr) };
 		```
 		```
 		#arch: aarch64_use_c
@@ -178,7 +178,7 @@ pub class TextBox : Control {
 			(id)self->handle, sel_registerName("stringValue"));
 		const char *cstr = ((const char*(*)(id, SEL))objc_msgSend)(
 			str, sel_registerName("UTF8String"));
-		return strdup(cstr);
+		return (nomen_string){ strdup(cstr), (long)strlen(cstr) };
 		```
 		```
 		#arch: c
@@ -187,7 +187,7 @@ pub class TextBox : Control {
 			(id)self->handle, sel_registerName("text"));
 		const char *cstr = ((const char*(*)(id, SEL))objc_msgSend)(
 			str, sel_registerName("UTF8String"));
-		return strdup(cstr);
+		return (nomen_string){ strdup(cstr), (long)strlen(cstr) };
 		```
 		```
 		#arch: aarch64_use_c
@@ -196,7 +196,7 @@ pub class TextBox : Control {
 			(id)self->handle, sel_registerName("text.ptr"));
 		const char *cstr = ((const char*(*)(id, SEL))objc_msgSend)(
 			str, sel_registerName("UTF8String"));
-		return strdup(cstr);
+		return (nomen_string){ strdup(cstr), (long)strlen(cstr) };
 		```
 	}
 

package/core/System/Controls/Window.nm

@@ -22,7 +22,7 @@ pub class Window: Control {
 		((id(*)(id, SEL, id))objc_msgSend)(
 			win, sel_registerName("setTitle:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title));
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title.ptr));
 		((void(*)(id, SEL, double, double))objc_msgSend)(
 			win, sel_registerName("setFrameTopLeftPoint:"), 100.0, 100.0);
 		((void(*)(id, SEL, id))objc_msgSend)(win, sel_registerName("makeKeyAndOrderFront:"), (id)0);
@@ -115,7 +115,7 @@ pub class Window: Control {
 		((id(*)(id, SEL, id))objc_msgSend)(
 			(id)self->handle, sel_registerName("setTitle:"),
 			((id(*)(id, SEL, const char*))objc_msgSend)(
-				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title));
+				(id)objc_getClass("NSString"), sel_registerName("stringWithUTF8String:"), title.ptr));
 		```
 		```
 		#arch: aarch64_use_c

package/core/System/Graph.nm

@@ -16,8 +16,8 @@ pub struct Graph<T>: Enumerable {
 
 	pub func add_node = (ref self, move T value) {
 		var int idx = self.node_count
-		self.values.grow_T(idx + 1)
-		self.values.store_T(idx, value)
+		self.values.grow(idx + 1)
+		self.values.store(idx, value)
 		self.head_edge.grow_int(idx + 1)
 		self.head_edge.store_int(idx, -1)
 		self.node_count = self.node_count + 1
@@ -50,11 +50,11 @@ pub struct Graph<T>: Enumerable {
 	}
 
 	pub func first = (self: self.node_count > 0, out T) {
-		return self.values.load_T(0)
+		return self.values.load(0)
 	}
 
 	pub func at = (self, int idx: idx >= 0 && idx < self.node_count, out T) {
-		return self.values.load_T(idx)
+		return self.values.load(idx)
 	}
 
 	pub func node_length = (self, out int) {

package/core/System/LinkedList.nm

@@ -15,8 +15,8 @@ pub struct LinkedList<T>: Enumerable {
 
 	pub func add = (ref self, move T value) {
 		var int idx = self.count
-		self.values.grow_T(idx + 1)
-		self.values.store_T(idx, value)
+		self.values.grow(idx + 1)
+		self.values.store(idx, value)
 		self.nexts.grow_int(idx + 1)
 		self.nexts.store_int(idx, -1)
 		self.prevs.grow_int(idx + 1)
@@ -50,11 +50,11 @@ pub struct LinkedList<T>: Enumerable {
 	}
 
 	pub func first = (self: self.count > 0, out T) {
-		return self.values.load_T(0)
+		return self.values.load(0)
 	}
 
 	pub func at = (self, int idx: idx >= 0 && idx < self.count, out T) {
-		return self.values.load_T(idx)
+		return self.values.load(idx)
 	}
 
 	// Bounds-checked access: `fallback` when idx is outside [0, self.count).

package/core/System/List.nm

@@ -12,23 +12,23 @@ pub struct List<T>: Viewable {
 			if old_cap >= 4 {
 				new_cap = old_cap * 2
 			}
-			self.items.grow_T(new_cap)
+			self.items.grow(new_cap)
 		}
-		self.items.store_T(self.length, value)
+		self.items.store(self.length, value)
 		self.length += 1
 	}
 
 	pub func pop = (ref self, move out T) {
 		if self.length <= 0 {
-			return self.items.move_T(0)
+			return self.items.move(0)
 		}
 		var int idx = self.length - 1
 		self.length = idx
-		return self.items.move_T(idx)
+		return self.items.move(idx)
 	}
 
 	pub inline func at = (self, int i: i >= 0 && i < self.length, out T) {
-		return self.items.load_T(i)
+		return self.items.load(i)
 	}
 
 	// Bounds-checked access: `fallback` when i is outside [0, self.length) —
@@ -58,7 +58,7 @@ pub struct List<T>: Viewable {
 	}
 
 	pub func set = (ref self, int i: i >= 0 && i < self.length, move T value) {
-		self.items.replace_T(i, value)
+		self.items.replace(i, value)
 	}
 
 	// A deep copy: a fresh List<T> with an independent copy of every element.

package/core/System/Map.nm

@@ -30,22 +30,22 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 			// alloc_T: for Buffer<TK> it is T_SIZE-aware (string keys are
 			// 16-byte slots); for ClassBuffer<TV> it delegates to alloc_int
 			// (one pointer per slot). Both have it for generic parity.
-			cap = self.keys.alloc_T(8)
-			self.values.alloc_T(8)
-			self.used.alloc(8)
+			cap = self.keys.alloc(8)
+			self.values.alloc(8)
+			self.used.alloc_u32(8)
 		}
 		if self.length * 4 >= cap * 3 {
 			self.rehash(cap * 2)
 			cap = self.keys.cap
 		}
 		var int idx = self.find_slot(key, cap)
-		if self.used.load(idx) == 0 {
-			self.used.store(idx, 1)
-			self.keys.store_T(idx, key)
-			self.values.store_T(idx, value)
+		if self.used.load_u32(idx) == 0 {
+			self.used.store_u32(idx, 1)
+			self.keys.store(idx, key)
+			self.values.store(idx, value)
 			self.length += 1
 		} else {
-			self.values.replace_T(idx, value)
+			self.values.replace(idx, value)
 		}
 	}
 
@@ -55,10 +55,10 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 			return 0
 		}
 		var int idx = self.find_slot(key, cap)
-		if self.used.load(idx) == 0 {
+		if self.used.load_u32(idx) == 0 {
 			return 0
 		}
-		return self.values.load_T(idx)
+		return self.values.load(idx)
 	}
 
 	// Fused lookup-with-fallback: one probe instead of the `has` + `get`
@@ -69,10 +69,10 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 			return fallback
 		}
 		var int idx = self.find_slot(key, cap)
-		if self.used.load(idx) == 0 {
+		if self.used.load_u32(idx) == 0 {
 			return fallback
 		}
-		return self.values.load_T(idx)
+		return self.values.load(idx)
 	}
 
 	// Lookup that traps when the key is absent — for when a missing key is
@@ -83,10 +83,10 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 			panic("key not found")
 		}
 		var int idx = self.find_slot(key, cap)
-		if self.used.load(idx) == 0 {
+		if self.used.load_u32(idx) == 0 {
 			panic("key not found")
 		}
-		return self.values.load_T(idx)
+		return self.values.load(idx)
 	}
 
 	pub func has = (self, TK key, out bool) {
@@ -95,7 +95,7 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 			return false
 		}
 		var int idx = self.find_slot(key, cap)
-		return self.used.load(idx) != 0
+		return self.used.load_u32(idx) != 0
 	}
 
 	pub func remove = (ref self, TK key) {
@@ -104,7 +104,7 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 			return
 		}
 		var int idx = self.find_slot(key, cap)
-		if self.used.load(idx) == 0 {
+		if self.used.load_u32(idx) == 0 {
 			return
 		}
 		// Backward-shift deletion for linear probing. `gap` is the empty slot
@@ -124,10 +124,10 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 			if k >= cap {
 				k = 0
 			}
-			if self.used.load(k) == 0 {
+			if self.used.load_u32(k) == 0 {
 				break
 			}
-			var int home = (self.keys.load_T(k).hash() as int) & (cap - 1)
+			var int home = (self.keys.load(k).hash() as int) & (cap - 1)
 			var int dgap = gap - home
 			if dgap < 0 {
 				dgap = dgap + cap
@@ -142,13 +142,13 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 				// would strdup a fresh copy into gap while leaving the source
 				// slot's pointer stranded at the vacated slot — leaked once
 				// used.store marks it empty (the buffer destroy skips it).
-				self.keys.shift_T(gap, k)
-				self.values.shift_T(gap, k)
-				self.used.store(gap, 1)
+				self.keys.shift(gap, k)
+				self.values.shift(gap, k)
+				self.used.store_u32(gap, 1)
 				gap = k
 			}
 		}
-		self.used.store(gap, 0)
+		self.used.store_u32(gap, 0)
 		self.length = self.length - 1
 	}
 
@@ -156,8 +156,8 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 		// cap is a power of two, so this is `hash mod cap` via a mask —
 		// non-negative for any hash (two's complement), no adjustment.
 		var int idx = (key.hash() as int) & (cap - 1)
-		while self.used.load(idx) != 0 {
-			if self.keys.load_T(idx) == key {
+		while self.used.load_u32(idx) != 0 {
+			if self.keys.load(idx) == key {
 				return idx
 			}
 			idx += 1
@@ -174,14 +174,14 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 		var Buffer<int> old_used = move self.used swap Buffer<int>()
 		var int old_cap = old_keys.cap
 
-		self.keys.alloc_T(new_cap)
-		self.values.alloc_T(new_cap)
-		self.used.alloc(new_cap)
+		self.keys.alloc(new_cap)
+		self.values.alloc(new_cap)
+		self.used.alloc_u32(new_cap)
 		self.length = 0
 
 		var i = 0
 		while i < old_cap; i += 1 {
-			if old_used.load(i) != 0 {
+			if old_used.load_u32(i) != 0 {
 				// move_T (not load_T) relinquishes the old slot, so each
 				// key/value is owned by exactly one buffer (the new self)
 				// afterwards. load_T would leave the old slot referencing
@@ -191,8 +191,8 @@ pub struct Map<TK: Hashable + Equatable, TV> {
 				// store_T strdup's) is freed here once the new buffer has
 				// made its own copy — passing them inline would orphan the
 				// move_T results.
-				var TK k = old_keys.move_T(i)
-				var TV v = old_values.move_T(i)
+				var TK k = old_keys.move(i)
+				var TV v = old_values.move(i)
 				self.set(move k, move v)
 			}
 		}

package/core/System/Set.nm

@@ -15,17 +15,17 @@ pub struct Set<T: Hashable + Equatable> {
 	pub func add = (ref self, move T value) {
 		var int cap = self.slots.cap
 		if cap == 0 {
-			cap = self.slots.alloc_T(8)
-			self.used.alloc(8)
+			cap = self.slots.alloc(8)
+			self.used.alloc_u32(8)
 		}
 		if self.length * 4 >= cap * 3 {
 			self.rehash(cap * 2)
 			cap = self.slots.cap
 		}
 		var int idx = self.find_slot(value, cap)
-		if self.used.load(idx) == 0 {
-			self.used.store(idx, 1)
-			self.slots.store_T(idx, value)
+		if self.used.load_u32(idx) == 0 {
+			self.used.store_u32(idx, 1)
+			self.slots.store(idx, value)
 			self.length += 1
 		}
 	}
@@ -36,7 +36,7 @@ pub struct Set<T: Hashable + Equatable> {
 			return false
 		}
 		var int idx = self.find_slot(value, cap)
-		return self.used.load(idx) != 0
+		return self.used.load_u32(idx) != 0
 	}
 
 	pub func get = (self, T key, out T) {
@@ -45,10 +45,10 @@ pub struct Set<T: Hashable + Equatable> {
 			return 0
 		}
 		var int idx = self.find_slot(key, cap)
-		if self.used.load(idx) == 0 {
+		if self.used.load_u32(idx) == 0 {
 			return 0
 		}
-		return self.slots.load_T(idx)
+		return self.slots.load(idx)
 	}
 
 	// Membership lookup with a fallback value: `fallback` when the value is
@@ -59,10 +59,10 @@ pub struct Set<T: Hashable + Equatable> {
 			return fallback
 		}
 		var int idx = self.find_slot(key, cap)
-		if self.used.load(idx) == 0 {
+		if self.used.load_u32(idx) == 0 {
 			return fallback
 		}
-		return self.slots.load_T(idx)
+		return self.slots.load(idx)
 	}
 
 	// Membership lookup that traps when the value is not in the set.
@@ -72,10 +72,10 @@ pub struct Set<T: Hashable + Equatable> {
 			panic("value not found in set")
 		}
 		var int idx = self.find_slot(key, cap)
-		if self.used.load(idx) == 0 {
+		if self.used.load_u32(idx) == 0 {
 			panic("value not found in set")
 		}
-		return self.slots.load_T(idx)
+		return self.slots.load(idx)
 	}
 
 	pub func remove = (ref self, T value) {
@@ -84,7 +84,7 @@ pub struct Set<T: Hashable + Equatable> {
 			return
 		}
 		var int idx = self.find_slot(value, cap)
-		if self.used.load(idx) == 0 {
+		if self.used.load_u32(idx) == 0 {
 			return
 		}
 		// Backward-shift deletion for linear probing. `gap` is the empty slot
@@ -104,10 +104,10 @@ pub struct Set<T: Hashable + Equatable> {
 			if k >= cap {
 				k = 0
 			}
-			if self.used.load(k) == 0 {
+			if self.used.load_u32(k) == 0 {
 				break
 			}
-			var int home = (self.slots.load_T(k).hash() as int) & (cap - 1)
+			var int home = (self.slots.load(k).hash() as int) & (cap - 1)
 			var int dgap = gap - home
 			if dgap < 0 {
 				dgap = dgap + cap
@@ -122,12 +122,12 @@ pub struct Set<T: Hashable + Equatable> {
 				// fresh copy into gap while stranding the source slot's
 				// pointer at the vacated slot (leaked once used.store marks it
 				// empty; the buffer destroy skips unused slots).
-				self.slots.shift_T(gap, k)
-				self.used.store(gap, 1)
+				self.slots.shift(gap, k)
+				self.used.store_u32(gap, 1)
 				gap = k
 			}
 		}
-		self.used.store(gap, 0)
+		self.used.store_u32(gap, 0)
 		self.length = self.length - 1
 	}
 
@@ -135,8 +135,8 @@ pub struct Set<T: Hashable + Equatable> {
 		// cap is a power of two: `hash mod cap` via a mask, non-negative
 		// for any hash — no adjustment needed.
 		var int idx = (value.hash() as int) & (cap - 1)
-		while self.used.load(idx) != 0 {
-			if self.slots.load_T(idx) == value {
+		while self.used.load_u32(idx) != 0 {
+			if self.slots.load(idx) == value {
 				return idx
 			}
 			idx += 1
@@ -152,13 +152,13 @@ pub struct Set<T: Hashable + Equatable> {
 		var Buffer<int> old_used = move self.used swap Buffer<int>()
 		var int old_cap = old_slots.cap
 
-		self.slots.alloc_T(new_cap)
-		self.used.alloc(new_cap)
+		self.slots.alloc(new_cap)
+		self.used.alloc_u32(new_cap)
 		self.length = 0
 
 		var i = 0
 		while i < old_cap; i += 1 {
-			if old_used.load(i) != 0 {
+			if old_used.load_u32(i) != 0 {
 				// move_T (not load_T) relinquishes the old slot, so each value
 				// is owned by exactly one buffer (the new self) afterwards.
 				// load_T would leave the old slot referencing the same class
@@ -167,7 +167,7 @@ pub struct Set<T: Hashable + Equatable> {
 				// `Buffer<string>` slot, which store_T strdup's) is freed here
 				// once the new buffer has made its own copy — passing it inline
 				// would orphan the move_T result.
-				var T v = old_slots.move_T(i)
+				var T v = old_slots.move(i)
 				self.add(move v)
 			}
 		}

package/core/System/Stream/Directory.nm

@@ -43,7 +43,7 @@ pub struct Directory {
 		```
 		```
 		#arch: c
-		if (mkdir(path, 0777)) return errno;
+		if (mkdir(path.ptr, 0777)) return errno;
 		return 0;
 		```
 		```
@@ -76,7 +76,7 @@ pub struct Directory {
 	func raw_remove = (string path, out int) {
 		```
 		#arch: c
-		if (rmdir(path)) return errno;
+		if (rmdir(path.ptr)) return errno;
 		return 0;
 		```
 		```
@@ -109,7 +109,7 @@ pub struct Directory {
 		```
 		#arch: c
 		struct stat st;
-		return stat(path, &st) == 0 ? 1 : 0;
+		return stat(path.ptr, &st) == 0 ? 1 : 0;
 		```
 		```
 		#arch: aarch64
@@ -147,7 +147,7 @@ pub struct Directory {
 		```
 		#arch: c
 		Result_string_DirectoryError r;
-		DIR *d = opendir(path);
+		DIR *d = opendir(path.ptr);
 		if (!d) {
 			int e = errno;
 			long de = 4;

package/core/System/Stream/File.nm

@@ -72,7 +72,8 @@ pub struct File {
 		```
 		```
 		#arch: c
-		self->handle = (unsigned long long)fopen(path, mode);
+		// Fat-string ABI: strings pass their ptr half at FFI boundaries.
+		self->handle = (unsigned long long)fopen(path.ptr, mode.ptr);
 		if (self->handle) {
 			self->error = 0;
 		} else {
@@ -236,21 +237,24 @@ pub struct File {
 		#arch: c
 		FILE *f = (FILE*)(unsigned long long)self->handle;
 		if (!f) { self->error = 9; return; }
-		fputs(data, f);
+		// Byte-exact write of the tracked length (fputs stopped at the
+		// first embedded NUL).
+		fwrite(data.ptr, 1, data.len, f);
 		self->error = 0;
 		```
 		```
 		#arch: aarch64
-		// Fat-string ABI: data = (x1, x2).
+		// Fat-string ABI: data = (x1 ptr, x2 len).
 		ldr x3, [x19, #8]
 		cbnz x3, .Lfile_write_all_go
 		mov x0, #9
 		str x0, [x19, #24]
 		b .return_File_raw_write_all
 		.Lfile_write_all_go:
+		// fwrite(ptr, 1, len, f) — byte-exact (fputs truncated at NUL)
 		mov x0, x1
-		mov x1, x3
-		bl _fputs
+		mov x1, #1
+		bl _fwrite
 		str xzr, [x19, #24]
 		```
 	}
@@ -375,22 +379,25 @@ pub struct File {
 		#arch: c
 		FILE *f = (FILE*)(unsigned long long)self->handle;
 		if (!f) { self->error = 9; return; }
-		fputs(data, f);
+		// Byte-exact write of the tracked length (fputs stopped at the
+		// first embedded NUL).
+		fwrite(data.ptr, 1, data.len, f);
 		fputc('\n', f);
 		self->error = 0;
 		```
 		```
 		#arch: aarch64
-		// Fat-string ABI: data = (x1, x2).
+		// Fat-string ABI: data = (x1 ptr, x2 len).
 		ldr x3, [x19, #8]
 		cbnz x3, .Lfile_write_line_go
 		mov x0, #9
 		str x0, [x19, #24]
 		b .return_File_raw_write_line
 		.Lfile_write_line_go:
+		// fwrite(ptr, 1, len, f) — byte-exact (fputs truncated at NUL)
 		mov x0, x1
-		mov x1, x3
-		bl _fputs
+		mov x1, #1
+		bl _fwrite
 		mov w0, #10
 		ldr x1, [x19, #8]
 		bl _fputc
@@ -476,7 +483,7 @@ pub struct File {
 		#arch: c
 		FILE *f = (FILE*)(unsigned long long)self->handle;
 		if (!f) { self->error = 9; return; }
-		fwrite(data, 1, size, f);
+		fwrite(data.ptr, 1, size, f);
 		self->error = 0;
 		```
 		```
@@ -513,7 +520,7 @@ pub struct File {
 		```
 		#arch: c
 		struct stat st;
-		return stat(path, &st) == 0 ? 1 : 0;
+		return stat(path.ptr, &st) == 0 ? 1 : 0;
 		```
 		```
 		#arch: aarch64
@@ -532,7 +539,7 @@ pub struct File {
 	func raw_delete = (string path, out int) {
 		```
 		#arch: c
-		if (remove(path)) return errno;
+		if (remove(path.ptr)) return errno;
 		return 0;
 		```
 		```