Constant WMSZ_TOP 

pub const WMSZ_TOP: UINT = 3;