import java.text.*;

static S formatUTCWithMS_24(long time default now()) {
  var sdf = new SimpleDateFormat("HH:mm:ss.SSSS");
  sdf.setTimeZone(TimeZone.getTimeZone("UTC"));
  ret sdf.format(time) + " UTC";
}