Constant GDK_KEY_R12 

pub const GDK_KEY_R12: c_int = 65501;