Comment time.[ch].