pub const SV_PLATFORM_ID_OS2: u32 = 400u32;