sclass WithTimestamp<A> extends Var<A> {
  long timestamp;
  
  *() {}
  *(long *timestamp, A value) { super(value); }
  
  toString { ret "[" + timestamp + "] "+ super.toString(); }
}