pub const ND_MOD_SGX: u32 = 16384;