Constant BTN_TRIGGER_HAPPY13 

pub const BTN_TRIGGER_HAPPY13: u32 = 716;