Constant WMN_LAST 

pub const WMN_LAST: u32 = 4294966096u32;