Complete bitshift.smv