code wiki / (root) / nx_smoke_str_b.nx

nx_smoke_str_b.nx source

↩ module page · 15 lines · 511 B

1// 65-byte string. 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 let s: *u8 = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa" 12 var sl: i64 = 0 13 while s[sl] != 0 { sl = sl + 1 } 14 return __syscall(93, sl & 0xFF, 0, 0, 0, 0, 0) 15}