static S formatDateAndTime(long timestamp) {
  ret str(new Date(timestamp));
}