code wiki / _hdl_build / _pe_coach_msg_test.nx

_pe_coach_msg_test.nx source

↩ module page · 25 lines · 669 B

1// AUTHORED BY THE NISHI BUILDER (pattern: STRUCT_WALK v2 test) -- KATs computed from the table at emit time 2import "_pe_coach_msg.nx" 3import "nx_syscalls.nx" 4func main() -> i64 { 5 let b: *u8 = sys_mmap(512) 6 b[0] = 85 as u8 7 b[1] = 85 as u8 8 b[2] = 85 as u8 9 b[3] = 85 as u8 10 b[4] = 85 as u8 11 b[5] = 0 as u8 12 b[6] = 4 as u8 13 b[7] = 119 as u8 14 b[8] = 119 as u8 15 b[9] = 119 as u8 16 b[10] = 119 as u8 17 let out: *i64 = sys_mmap(32) as *i64 18 if _pe_coach_msg_locate(b, 11, out) == 0 { 19 if out[0] == 7 { 20 if out[1] == 4 { 21 if _pe_coach_msg_locate(b, 3, out) == 0 - 1 { 22 sys_exit(0) } } } } 23 sys_exit(1) 24 return 1 25}