Constant BTN_TRIGGER_HAPPY15 

pub const BTN_TRIGGER_HAPPY15: u32 = 718; // 718u32