Constant GDK_KEY_F25 

pub const GDK_KEY_F25: c_int = 65494;