Constant GDK_KEY_prolongedsound 

pub const GDK_KEY_prolongedsound: c_int = 1200;