static Timestamp tsNow() {
  ret new Timestamp;
}