Constant GDK_KEY_Switch_VT_4 

pub const GDK_KEY_Switch_VT_4: c_int = 269024772;