Constant ERROR_ENCLAVE_NOT_TERMINATED

pub const ERROR_ENCLAVE_NOT_TERMINATED: WIN32_ERROR = 814u32;