Constant PLATFORM_ID_DOS 

pub const PLATFORM_ID_DOS: u32 = 300u32;