sclass WithTimestamp<A> extends Var<A> {
  long timestamp;
  
  *() {}
  *(long *timestamp, A value) { super(value); }
  
  toString { ret to super.toString() + " at " + localTimeWithMilliseconds(timestamp); }
  
  S toStringWithTimestamp(S s) { ret s + " at " + localTimeWithMilliseconds(timestamp); }
}