abstract sclass VStackComputableWithStep<A> implements VStack.Computable<A> {
  public void step(VStack stack, O subComputationResult) {
    step(stack);
  }
  
  abstract void step(VStack stack);
}