pub const ERROR_ENCLAVE_VIOLATION: u32 = 815u32;