Constant ShadowSyscallNum_SHADOW_SYSCALL_NUM_INIT_MEMORY_MANAGER

pub const ShadowSyscallNum_SHADOW_SYSCALL_NUM_INIT_MEMORY_MANAGER: ShadowSyscallNum = 1004;