Constant GDK_KEY_F23 

pub const GDK_KEY_F23: c_int = 65492;