pub const OID_FDDI_SHORT_PERMANENT_ADDR: u32 = 50397445u32;