nx_smoke_struct.nx source
↩ module page · 23 lines · 559 B
1// smoke_struct.nx -- struct alloc + field write/read.
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 Point {
12 x: i64,
13 y: i64,
14}
15
16func main() -> i64 {
17 let raw: *u8 = sys_mmap(32)
18 let p: *Point = raw as *Point
19 p.x = 17
20 p.y = 25
21 let s: i64 = p.x + p.y
22 return __syscall(93, s, 0, 0, 0, 0, 0)
23}