Constant PUSHBUTTON_TYPE_HTSETUP 

pub const PUSHBUTTON_TYPE_HTSETUP: u32 = 3u32;