bit_rshift::=