rename 0X -> X; prepare for hw07