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