code wiki / _hdl_build / nx_plan_witness.nx
nx_plan_witness.nx source
↩ module page · 19 lines · 605 B
1// nx_plan_witness.nx -- trivial argv-echo witness for nx_plan_run_gate (argecho was lost in F-003).
2// Prints argv[1..] space-joined + newline, exit 0.
3// license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
4import "nx_syscalls.nx"
5
6func main(argc: i64, argv: *i64) -> i64 {
7 var i: i64 = 1
8 while i < argc {
9 let s: *u8 = argv[i] as *u8
10 var n: i64 = 0
11 while s[n] != (0 as u8) { n = n + 1 }
12 sys_write(1, s, n)
13 if i < argc - 1 { sys_write(1, " " as *u8, 1) }
14 i = i + 1
15 }
16 sys_write(1, "\n" as *u8, 1)
17 sys_exit(0)
18 return 0
19}