Constant GDK_KEY_F32 

pub const GDK_KEY_F32: c_int = 65501;