Rename hw4-2.smv to hw5-2.smv