bit_lshift::=