Constant TF_INVALID_COOKIE 

pub const TF_INVALID_COOKIE: u32 = 4294967295u32;