code wiki / (root) / nx_smoke_str_c.nx

nx_smoke_str_c.nx source

↩ module page · 15 lines · 547 B

1// 100-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 = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa" 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}