sclass Timed extends Var { double ms; *() {} *(A value, long *ms) { super(value); } *(A value, double *ms) { super(value); } toString { ret "[" + renderedTime() + "] " + super.toString(); } double ms() { ret ms; } double nanos() { ret msToNanos(ms); } S renderedTime() { ret formatDouble(ms, 3) + " ms"; } }