pub const TS_VCOOKIE_NUL: u32 = 4294967295u32;