nx__thrash_demo.nx source
↩ module page · 19 lines · 565 B
1// nx_safety_envelope:
2// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
3// sil_target: SIL1
4// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
5// verdict: NOT_YET_EVALUATED
6
7import "nx_syscalls.nx"
8import "nx_narr.nx"
9func main() -> i64 {
10 let len_raw: *u8 = sys_mmap(16)
11 let len: *i64 = len_raw as *i64
12 *len = 0
13 let buf: *u8 = sys_read_file("/nonexistent_thrash_test_path" as *u8, len)
14 if buf == (0 as *u8) {
15 narr_flush()
16 return 7
17 }
18 return 0
19}