Constant TVIS_USERMASK 

pub const TVIS_USERMASK: UINT = 0xF000;