fortanix_sgx_abi
pub const FD_STDOUT: Fd
Standard output file descriptor. This is not a secure output channel.