Constant WMSZ_TOPRIGHT 

pub const WMSZ_TOPRIGHT: u32 = 5u32;