Create hw-5-2-b.smv