nx_smoke_str_a.nx source
↩ module page · 16 lines · 549 B
1// 64-byte string (no terminator counted).
2// nx_safety_envelope:
3// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
4// sil_target: SIL1
5// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
6// verdict: NOT_YET_EVALUATED
7
8import "nx_syscalls.nx"
9
10func main() -> i64 {
11 // 64 'a's
12 let s: *u8 = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
13 var sl: i64 = 0
14 while s[sl] != 0 { sl = sl + 1 }
15 return __syscall(93, sl & 0xFF, 0, 0, 0, 0, 0)
16}