static TimestampRange growTimestampRange(TimestampRange r, long amount) {
  ret r == null ?: new TimestampRange(r.start-amount, r.end+amount);
}