pub const rotate_right: Symbol;