nx_rw_modulo.nx source
↩ module page · 12 lines · 378 B
1// nx_rw_modulo.nx -- TRAP WITNESS (pack-rules vet). Tactic under test: the % operator (the pack
2// claims NO verified modulo; nx_gate_run.nx uses it live). Exit 0 iff 17 % 5 == 2.
3// license_tier: ORIGINAL
4import "nx_syscalls.nx"
5
6func main(argc: i64, argv: *i64) -> i64 {
7 let a: i64 = 17
8 let r: i64 = a % 5
9 if r == 2 { sys_exit(0) }
10 sys_exit(1)
11 return 0
12}