code wiki / _hdl_build / nx_mrselfcheck_probe.nx
nx_mrselfcheck_probe.nx source
↩ module page · 6 lines · 403 B
1// nx_mrselfcheck_probe.nx -- synthetic probe for nx_map_remove_func body-equivalence self-check.
2// g_puts is byte-identical to nx_gate_emit_lib (expect EDITED); g_pn is the SUBSET variant lacking
3// negative handling (expect VARIANT = refused). Not a real gate. license_tier: ORIGINAL
4import "nx_syscalls.nx"
5import "nx_gate_emit_lib.nx"
6func main() -> i64 { g_puts("x\n" as *u8); g_pn(5); return 0 }