Constant K_MODIFIER_RIGHT_CONTROL 

pub const K_MODIFIER_RIGHT_CONTROL: u32 = _ /* 16u32 */;