static S shortenEndTime(S endTime, S startTime) {
  int i = endTime.lastIndexOf(' ')+1;
  if (i > 0 && eq(substring(startTime, 0, i), substring(endTime, 0, i)))
    ret trim(substring(endTime, i));
  ret endTime;
}