Constant REG_LABEL_RBX 

pub const REG_LABEL_RBX: u32 = 3;