Constant GDK_KEY_F3 

pub const GDK_KEY_F3: c_int = 65472;