pub const ZX_EXCP_POLICY_CODE_BAD_SYSCALL: u32 = 18; // 18u32