Constant CCODE::_WIN32_IE_NT4SP1

pub const _WIN32_IE_NT4SP1: u32 = 512;