Constant ERROR_ENCLAVE_NOT_TERMINATED 

pub const ERROR_ENCLAVE_NOT_TERMINATED: u32 = 814;