//! Fortanix SGX.