Constant GDK_KEY_Switch_VT_12 

pub const GDK_KEY_Switch_VT_12: c_int = 269024780;