import java.text.SimpleDateFormat;

static S hmsWithColonsAndMS() {
  ret hmsWithColonsAndMS(now());
}

static S hmsWithColonsAndMS(long time) {
  ret simpleDateFormat_local("HH:mm:ss:SSS").format(time);
}