pub const PLATFORM_ID_OS2: u32 = 400u32;