nx_smoke_imports.nx source
↩ module page · 23 lines · 764 B
1// smoke_imports.nx -- test import + tok_at-like memory layout.
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"
10import "nx_lex_kinds.nx"
11
12func main() -> i64 {
13 let raw: *u8 = sys_mmap(16 * TOK_BYTES + TOK_BYTES)
14 let toks: *Tok = raw as *Tok
15 // Manually populate one tok.
16 let base: i64 = toks as i64
17 let t: *Tok = (base + 0 * TOK_BYTES) as *Tok
18 t.kind = TK_FUNC
19 let t2: *Tok = (base + 1 * TOK_BYTES) as *Tok
20 t2.kind = TK_IDENT
21 let v: i64 = t.kind + t2.kind
22 return __syscall(93, v, 0, 0, 0, 0, 0)
23}