sclass SecretValue<A> extends Var<A> {
  *() {}
  *(A a) { super(a); }
  
  toString { ret "Secret value"; }
}