nx_smoke_call.nx source
↩ module page · 18 lines · 506 B
1// smoke_call.nx -- verify a function call returns its value through the chain.
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
11func add(a: i64, b: i64) -> i64 {
12 return a + b
13}
14
15func main() -> i64 {
16 let v: i64 = add(15, 27)
17 return __syscall(93, v, 0, 0, 0, 0, 0)
18}