Constant STATUS_ENCLAVE_NOT_TERMINATED

Source
pub const STATUS_ENCLAVE_NOT_TERMINATED: i32 = -1073740527i32; // -1_073_740_527i32