Constant WMSZ_TOP 

pub const WMSZ_TOP: u32 = 3u32;