Fix Bug1: adding shift_right module