Constant GDK_KEY_4 

pub const GDK_KEY_4: c_int = 52;