Constant BTN_TRIGGER_HAPPY12 

pub const BTN_TRIGGER_HAPPY12: u32 = 715 /* 715u32 */;