Constant shadow_rs::cshadow::ShadowSyscallNum_SYS_shadow_max
source ยท pub const ShadowSyscallNum_SYS_shadow_max: ShadowSyscallNum = 1005;
pub const ShadowSyscallNum_SYS_shadow_max: ShadowSyscallNum = 1005;