Constant KEY_PROP_PITCH_SET 

pub const KEY_PROP_PITCH_SET: u32 = 65767;