assertTime2.v