Constant KEY_PROP_PITCH1_INCREASE_EX1 

pub const KEY_PROP_PITCH1_INCREASE_EX1: u32 = 67139;