nx_smoke_write.nx source
↩ module page · 20 lines · 581 B
1// smoke_write.nx -- verify sys_write to stdout works.
2//
3// Should print "OK\n" then exit 0.
4
5// nx_safety_envelope:
6// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
7// sil_target: SIL1
8// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
9// verdict: NOT_YET_EVALUATED
10
11import "nx_syscalls.nx"
12
13func main() -> i64 {
14 let buf: *u8 = sys_mmap(8)
15 buf[0] = 0x4F // 'O'
16 buf[1] = 0x4B // 'K'
17 buf[2] = 0x0A // '\n'
18 sys_write(1, buf, 3)
19 return __syscall(93, 0, 0, 0, 0, 0, 0)
20}