Constant GDK_KEY_F4 

pub const GDK_KEY_F4: c_int = 65473;