pub const RTF_REINSTATE: u16 = 8; // 8u16