Constant GDK_KEY_LaunchF 

pub const GDK_KEY_LaunchF: c_int = 269025103;