Constant rustpython_vm::stdlib::errno::errors::ERROR_ENCLAVE_NOT_TERMINATED

pub const ERROR_ENCLAVE_NOT_TERMINATED: u32 = 814u32;