Constant GDK_KEY_F12 

pub const GDK_KEY_F12: c_int = 65481;