Constant sgx_libc::STDOUT_FILENO

pub const STDOUT_FILENO: c_int = 1;