(time-stamp-start, time-stamp-end, time-stamp-inserts-lines):