Symbol: bitv_shiftin