sclass WaitForStableValue implements IVar<A> {
  
}