assertTime1.v