Constant shadow_rs::cshadow::ShadowSyscallNum_SYS_shadow_init_memory_manager

pub const ShadowSyscallNum_SYS_shadow_init_memory_manager: ShadowSyscallNum = 1004;