Constant ShadowSyscallNum_SYS_shadow_init_memory_manager

pub const ShadowSyscallNum_SYS_shadow_init_memory_manager: ShadowSyscallNum = 1004;