nx_smoke_loop.nx source
↩ module page · 26 lines · 643 B
1// smoke_loop.nx -- exercise a while loop + struct field write inside.
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
11struct Counter {
12 n: i64,
13 pos: i64,
14}
15
16func main() -> i64 {
17 let raw: *u8 = sys_mmap(32)
18 let c: *Counter = raw as *Counter
19 c.n = 0
20 c.pos = 0
21 while c.pos < 10 {
22 c.n = c.n + c.pos
23 c.pos = c.pos + 1
24 }
25 return __syscall(93, c.n, 0, 0, 0, 0, 0)
26}