Constant WSK_SO_BASE 

pub const WSK_SO_BASE: u32 = 16384u32;