Constant RB_PUSHCHEVRON 

pub const RB_PUSHCHEVRON: u32 = 1067u32;