Constant GDK_KEY_R13 

pub const GDK_KEY_R13: c_int = 65502;