nx_video_keytime_scope_probe_20260912.nx source
↩ module page · 15 lines · 583 B
1// Private diagnostic for nx_vcodec_stage_bench's reused k1 identifier; no encoder or production state.
2import "nx_syscalls.nx"
3func main() -> i64 {
4 let k0: i64 = 1000
5 let k1: i64 = 1100
6 var f: i64 = 0
7 while f < 1 {
8 var k1: i64 = 0
9 while k1 < 16 { k1 = k1 + 1 }
10 f = f + 1
11 }
12 if k1 - k0 == 100 { sys_write(1, "OUTER-TIMESTAMP-PRESERVED\n" as *u8, 26); return 0 }
13 if k1 - k0 == (0 - 984) { sys_write(1, "INNER-COUNTER-OVERWROTE-TIMESTAMP\n" as *u8, 34); return 3 }
14 sys_write(1, "UNEXPECTED-SCOPE-RESULT\n" as *u8, 24); return 4
15}