nx_smoke_str_index.nx source
↩ module page · 21 lines · 606 B
1// smoke_str_index.nx -- string indexing via *u8.
2
3// nx_safety_envelope:
4// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
5// sil_target: SIL1
6// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
7// verdict: NOT_YET_EVALUATED
8
9import "nx_syscalls.nx"
10
11func main() -> i64 {
12 let s: *u8 = "ABCD"
13 var sum: i64 = 0
14 var i: i64 = 0
15 while i < 4 {
16 sum = sum + s[i]
17 i = i + 1
18 }
19 // 'A'+'B'+'C'+'D' = 0x41+0x42+0x43+0x44 = 266 = 0x10A; mod 256 = 10
20 return __syscall(93, sum & 0xFF, 0, 0, 0, 0, 0)
21}