_min2.nx source
↩ module page · 22 lines · 491 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_kernel_v2.nx"
8import "nx_log.nx"
9
10static MY_FLAG: i64
11static MY_ADDR: i64
12
13func my_buf() -> i64 {
14 return 42
15}
16
17func main() -> nx_exit {
18 println("A" as *u8)
19 let r: i64 = my_buf()
20 println("B" as *u8)
21 return 0
22}