Constant BTN_TRIGGER_HAPPY10 

pub const BTN_TRIGGER_HAPPY10: u32 = 713; // 713u32