Constant REG_RBX 

pub const REG_RBX: i32 = 11;