Constant sgx_libc::EDOTDOT

pub const EDOTDOT: i32 = 73;