Constant STATUS_ENCLAVE_NOT_TERMINATED 

pub const STATUS_ENCLAVE_NOT_TERMINATED: NTSTATUS;