Constant GDK_KEY_Launch4 

pub const GDK_KEY_Launch4: c_int = 269025092;