Create hw4-2.smv